なんで hpc/stand/hpcboot/load*.cpp で paddr (LMA) じゃなくて vaddr (VMA) 使ってるんだろ。

やっと elf な kernel が実行できた。もういいや…。 FileManager: FAT hpcboot build number: 15 Sharp W-ZERO3 (WS003SH) (cpu=0x0c208000 machine=0x01040100) [progress] 2 [0] 0xa0000000 size 0x04000000 [1] 0xa4000000 size 0x04000000 [2] 0xa800000…