There are 0 repository under efi-development topic.
SimpleOS2 is a very simple x86_64 OS I am creating for learning purposes.