Ignore my last email. All addresses are not for the board I am using, my questions doesn't make sense.
Sorry about that. On Mon, Aug 4, 2014 at 9:20 AM, Jorge Ventura < [email protected]> wrote: > I am trying to boot seL4 on beaglebone white. I have an initial code just > to configure the DDR2 memory at range 0x80000000-0xbfffffff. > > As we can see below, the start address is the virtual address 0xf0000000 > but at this point I have no MMU configured. I was thinking that the segment > .boot should be the code to prepare all details about MMU/D-CACHE/I-CACHE > but it's not what gdb is understanding based in the elf header. > > Someone could explain to me how is the kernel boot; what do I have to > consider. I guess that beaglebone is not supported but this is exactly my > goal, to make seL4 boot on beaglebone. > > Any help or suggestion is very welcome. > > Sincerely, > Jorge Ventura > > (gdb) load kernel.elf >> Loading section .boot, size 0x10000 lma 0x80000000 >> Loading section .text, size 0xf1ec lma 0x80010000 >> Loading section .text.unlikely, size 0xd98 lma 0x8001f1ec >> Loading section .rodata, size 0x4170 lma 0x8001ff84 >> Loading section .data, size 0x8 lma 0x800240f4 >> Start address 0xf0000000, load size 147708 >> Transfer rate: 319 KB/sec, 3787 bytes/write. >> > > > (gdb) monitor poll > background polling: on > TAP: am335x.dap (enabled) > target state: halted > target halted in ARM state due to debug-request, current mode: System > cpsr: 0x6000019f pc: 0xf0000000 > MMU: disabled, D-Cache: disabled, I-Cache: disabled > > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
