[Barrelfish-users] How to use Mackerel?

Daniel Röhrig daniel.roehrig at mailbox.tu-berlin.de
Tue Jul 3 23:44:42 CEST 2012


Hey Andrew,

we tried this: " tools/bin/mackerel --bitfield-driver -c <dev file> -o 
<output file>" but somehow got something really strange.

But the make approach works like a charm. Thanks for that hint!

Regards,
Daniel


On 03.07.2012 23:38, Baumann Andrew wrote:
> Hi,
>
> In general, you should only need to run hake after changing a Hakefile, or the Hake configuration file.
>
> Mackerel can be invoked through make, or completely manually. E.g.:
>
> $ make x86_64/include/dev/e1000_dev.h
> make: `x86_64/include/dev/e1000_dev.h' is up to date.
>
> $ grep 'mackerel.*e1000.dev' Makefile
> ./x86_64/include/dev/e1000_dev.h: ./tools/bin/mackerel /home/baumann/src/barrelfish/devices/e1000.dev ./x86_64/include/dev/.marker
>          ./tools/bin/mackerel --bitfield-driver -c /home/baumann/src/barrelfish/devices/e1000.dev -o ./x86_64/include/dev/e1000_dev.h
>
> So you would run " tools/bin/mackerel --bitfield-driver -c <dev file> -o <output file>"
>
> Cheers,
> Andrew
>
> -----Original Message-----
> From: Daniel Röhrig [mailto:daniel.roehrig at mailbox.tu-berlin.de]
> Sent: Tuesday, 03 July, 2012 14:29
> To: barrelfish-users at lists.inf.ethz.ch
> Subject: [Barrelfish-users] How to use Mackerel?
>
> Hey guys,
>
> is there a way to change and compile a dev-file without doing a complete
> hake? We tried to manually call mackerel on a dev file, but somehow we
> ended up with something that didn't match the .h-file that is produced
> by hake. Any ideas or instructions?
>
> Regards,
> Daniel
>
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users
>




More information about the Barrelfish-users mailing list