sel4proj / aos Goto Github PK

Booting on an odroidc2, i get this output

Jumping to kernel-image entry point...

Bootstrapping kernel
Booting all finished, dropped to user space
Caught cap fault in send phase at address 0
while trying to handle:
vm fault on code at address 0 with status 0x82000006
in thread 0xffffff807fff0400 "rootserver" at address 0
With stack:
0x513dc0: 0x513e48
0x513dc8: 0x40
0x513dd0: 0x518000
0x513dd8: 0x49c568
0x513de0: 0x1
0x513de8: 0xfffffffffffffff2
0x513df0: 0x4b5bc8
0x513df8: 0x0
0x513e00: 0x0
0x513e08: 0x0
0x513e10: 0x0
0x513e18: 0x0
0x513e20: 0x0
0x513e28: 0x0
0x513e30: 0x415924
0x513e38: 0x40a604

This is a fresh build, using the AOS-manifest and repo.

By moving aroundwhile(1) {}, this is what I can glean so far:

• __register_fram(&__eh_frame_start);, and the printf triggers a fault.
• inside uart_init(&cspace);, the first line function call is what triggers a fault.
• commenting out all printfs and uart_init, it reaches main_continued but breaks inside run_tests
• turning off the logs in there, it runs until the malloc call in test_cspace
• commenting out the tests, it will break with network_init
• commenting that out, it will go into start_first_process, ind will reach until cspace_create_one_level
• will crash on calloc line inside cspace_create

When I build, I get an error here because stdout_fd is not in scope (since c64a1d3). Should this be fd_out instead?

I've been studying the elf loading procedure for SOS processes defined in elf.c. I think I've stumbled upon a bug: if the mapping fails, the frame cap is deleted and the slot is freed (the frame is also freed but is still mapped in SOS) however the code continues to use these afterwards which I expect to result in an exception around here where an attempt is made to use the frame cap.

The comment is a bit mysterious -- when it mentions all frames being mapped in, I assume it is talking about the SOS address space, but why "continue on to do the write" on a frame that's not mapped into the process' address space?

Should be sos/src/backtrace.h