Hacker News new | ask | show | jobs
by ChickeNES 187 days ago
Yes, it's just a port of the EDK2 UEFI reference firmware