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/
signature.asc
Description: PGP signature
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
