EFI linux booting

Booting linux with UEFI boot is now possible.

Issues

  • PMIC regulators don't work.

  • Audio, Wireless, Cameras, Sensors and Type/TouchCover aren't supported yet. This is also true for APX boot.

TODO

  • Implement ACPI for arm32. This will help in development for all other devices that run Windows RT too. Why? It removes the need for a device tree and enables us to comunicate with the firmware, which will hopefully enable us to use PMIC stuff. Also we can upstream our ACPI Parking Protocol driver, which is needed for SMP.

  • Get Audio, Wireless, Cameras, Sensors and Type/TouchCover to work.

  • Possibly more, but we don't know about it yet.

Contents
Issues
TODO