17 Oct
2018
17 Oct
'18
11:46 a.m.
Hello,
it would be nice if the users of the Dell XPS could drop me a note (off-list is fine) about the exact configuration of their systems and the state of the support on Genode, i.e. which devices are working or not and other relevent information (like the ACPI issues) so I can add the systems to my HCL.
Regards,
--
Josef Söntgen
Genode Labs
http://www.genode-labs.com/ · http://genode.org/