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:
https://github.
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:
https://github.com/seL4/s
