Yes, you right,
All these things are returned back already.
On 03/11/2014 02:25 PM, Christian Helmuth wrote: Norman did not propose to remove ACPI support itself but the conditionals controlling its inclusion. If you run Genode on Fiasco-OC or NOVA you definitely need the acpi_drv and appropriate routes for IRQ sessions.
Christian is right. With "remove", I was not referring to the ACPI server but the conditionals. You have to keep everything where '[have_spec acpi]' applies and remove everything where '![have_spec acpi]' applies. You did the opposite.
To learn more about the role of the ACPI server, please have a look at:
https://github.com/genodelabs/genode/blob/master/os/src/drivers/acpi/README
Cheers Norman
Learn Graph Databases - Download FREE O'Reilly Book "Graph Databases" is the definitive new guide to graph databases and their applications. Written by three acclaimed leaders in the field, this first edition is now available. Download your free book today! http://p.sf.net/sfu/13534_NeoTech _______________________________________________ Genode-main mailing list Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main