[seL4] Re: Camkes SerialServer and util_libs/libplatsupport with ODROID-C4

On Thu, 1 Jul 2021 at 21:54, Kent Mcleod wrote:

On Thu, Jul 1, 2021 at 8:28 PM Robert Reid wrote:

...

I am still using PS_SERIAL_DEFAULT to be the same as stdout, UART0_AO @ 0xff803000, so safe there. stdout-path was chosen via an alias: stdout-path = "serial0:115200n8"; serial0 = "/soc/bus@ff800000/serial@3000"

I end up with the following in the build directory: capdl_spec.c: [0] = { #ifdef CONFIG_DEBUG_BUILD .name = "serial.serial_dev_0_data_0_obj", #endif .type = CDL_Frame, .size_bits = 12, .frame_extra = { .paddr = 0x3000,.fill = { } }, },

serialserver_polling.cdl: serial.serial_dev_0_data_0_obj = frame (4k, paddr: 0x3000, fill: [])

I thought there might be some issue with the relative address in the dts; compared to sabre.dts where a full physical address is specified.

I think this would be the issue. Looking at the implementation of "dtb-query-common.template.c" that is imported by seL4DTBHardware-to.template.c (the instantiation of which causes the allocation of caps based on the original dtb() property) it assumes that the reg property contains an absolute address. It isn't handling the case where the reg value inherits the parent's reg property.

Thanks Kent - your comment made me look harder at the DTS and found the reg = < ... > line for that UART, updating 0x3000 to 0xff803000 there as well and things are starting to look better: Booting all finished, dropped to user space pre_init@serial.c:501 About to init port, io_ops=0x487cf0 ps_cdev_init@chardev.c:46 About to init_fn 3 ps_cdev_init@chardev.c:47 dev_defn[3].paddr: 0xff803000, size 1000 uart_init@serial.c:51 about to chardev_map: dev=0x473948, defn->id=3, defn->paddr=0 xff803000 chardev_map@chardev.h:26 ops->io_mapper=0x487be0 &(ops->io_mapper)=0x442728 dev->pa ddr=0xff803000 dev->size=0x1000 uart_init@serial.c:56 chardev_map mapped page_vaddr 0x4b1000 pollcli: Hello Serial Server! It prints fine, but not reading / filling the buffer. So on to the next problem, but at least it's got this far. Thanks for the help, greatly appreciated! Regards Rob