Re: [seL4] loading and booting seL4test on a zynq7000

2017-11-11 Thread Alexander.Kroh
Hi Joel,  The serial driver in the elfloader and kernel are very limited. It doesn't perform any baud rate configuration and hence won't be affected by frequency variations between platforms. Only the user space drivers are affected. Memory is defined in the kernel here:

Re: [seL4] loading and booting seL4 on a tegra Tx2

2017-11-11 Thread Alexander.Kroh
Hi Munees, I am afraid I can't be much help, but I can offer some tips for debug printing. The elfloader boots the kernel with unity mappings. If you would like to use debug printing before the kernel maps the serial port, try changing UARTA_PPTR to UARTA_PADDR in the UART driver: