[seL4] am335x and question

Tim Newsham tim.newsham at gmail.com
Sat Feb 14 06:59:27 EST 2015

I'm playing around with the am335x code now and have the
sel4 test building but not working properly.  If anyone else is
interested in playing with this, let me know.

I have a question about the boot loader, I'm seeing:

    if (UART_PPTR < kernel_info.virt_region_start) {
        printf("Jumping to kernel-image entry point...\n\n");
    } else {
        /* Our serial port is no longer accessible */

is this necessary?  It looks like init_boot_pd established a
1:1 mapping for all addresses lower than the kernel vaddr
(which for me is 0xf0000000). Shouldnt the UART be accesible

I'm seeing the bootloader run up to mmu is turned on but nothing
after that and trying to track down where the failure is happening.
printf's after arm_enable_mmu are not working for me, and I don't
understand if this is due to mmu bringup problems or something else.

By the way, I started a "#seL4" channel on freenode IRC.

Tim Newsham | www.thenewsh.com/~newsham | @newshtwit | thenewsh.blogspot.com

More information about the Devel mailing list