[Barrelfish-users] AHCI

Kornilios Kourtis kkourt at inf.ethz.ch
Tue Jan 31 11:30:45 CET 2012

On Tue, Jan 31, 2012 at 10:12:25AM +0000, Georgios Varisteas wrote:
> Unfortunately it is not... Here is a more complete output (with a clean build)
> $ make x86_64/include/dev/ahci_port_dev.h 2>&1 | grep ahci
> ../src/include/ahci/ahci_util.h:15:31: fatal error: dev/ahci_port_dev.h: No such file or directory

I'm not sure what the problem might be...

Does tools/bin/mackerel exist in the build directory?
If not, is there an error when you do:
  make tools/bin/mackerel ?
If yes, Does the command below create the header file?
 ./tools/bin/mackerel --shift-driver \
     -c ../devices/ahci_port.dev \
     -o ./x86_64/include/dev/ahci_port_dev.h ?


Kornilios Kourtis

More information about the Barrelfish-users mailing list