[Barrelfish-users] How to use Mackerel?

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

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?


More information about the Barrelfish-users mailing list