kernel.ecoff  :
section     size         addr
.text    0x78a0   0x80020000
.rdata    0xbb0   0x80028000
.data     0x160   0x80028bb0
.sbss      0x70   0x80028d10
.bss     0x4c14   0x80028d7c
Total    0xd234


