UEFI と格闘中

いや、学生にいろいろやってもらってるんですが、ぜんぜん進まず。

しかたないなで出動したんですが、まぁ、いろいろひどいよな。なんで大域変数多用するかな。

EDK2 と GNU-efi でCのAPIが異なるってのもなんとかならんの

結局、efi で loader を書くはめになってるんだけど、それおかしいよね...