[Barrelfish-users] Native running Barrelfish

Mehdi Amiri kordestany at gmail.com
Sun Oct 4 13:51:35 CEST 2015

Dear list,
I am working on dual booting a Barrelfish with Ubuntu 14.04. I have
successfully compiled and modified the grub to locate Barrelfish files
using the template of "menu.lst.x86_64" with only modifying the grub root
command to point to the appropriate partition. The computer is "HP Compaq
8200 Elite MT PC, Core i7-2600 (SKU bx383AV)" and Barrelfish successfully
starts by displaying logs and stops shortly after displaying this error:

Assertion failed on core 0 in acpi : !"NYI:AcpiOsSignal", function
AcpiOsSignal, file /usr/acpi/acpica_osglue.c, line 1463.
skb waiting for acpi.

Any suggestion?

Best Regards
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20151004/b6963a04/attachment.html>

More information about the Barrelfish-users mailing list