<div dir="ltr"><div>Dear list,</div><div>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:</div><div><br></div><div>Assertion failed on core 0 in acpi : !"NYI:AcpiOsSignal", function AcpiOsSignal, file /usr/acpi/acpica_osglue.c, line 1463.</div><div>...</div><div>skb waiting for acpi.</div><div><br></div><div>Any suggestion?</div><div><br></div><div>Best Regards</div><div>Mahdi</div><div><br></div><div><br></div><div><br></div></div>