自作OSを作る->ブートする必要がある->UEFIときた。もともとはEDKIIを使うはずだったんだけど、なんとビルドが全くできない!undefined 何とかっていわれちゃうんだよね そんなわけで、gnu-efiを使うことになりました。 その中でもいろいろ苦戦したので備忘録…