LinuxLoader.exe 経由の起動ならスタートアップはこんな感じなんかね。良く知らんけど。 #include <machine/asm.h> #include <arm/armreg.h> #include <arm/arm32/pte.h> #include <arm/arm32/pmap.h> /* for PMAP_DOMAIN_KERNEL */ /* * Size of the XScale core D-cache. * * copied from arm/arm/cpufunc_asm_xscale.S * XX</arm/arm32/pmap.h></arm/arm32/pte.h></arm/armreg.h></machine/asm.h>…

カーネルモードへ移行するのに SetKMode() を使ってるのは同じだけど、メモリ周辺で使ってる API が AllocPhysMem()/FreePhysMem() なのか。これじゃなきゃ駄目なのかなぁ…。