[Barrelfish-users] How to use Mackerel?
andrewb at inf.ethz.ch
Tue Jul 3 23:38:45 CEST 2012
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>"
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?
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?
Barrelfish-users mailing list
Barrelfish-users at lists.inf.ethz.ch
More information about the Barrelfish-users