I am working on a UART device driver in camkes for AM335x.
When I load the image on the board I get this error:
Creating object frame_drv_group_bin_42 in slot 596, from untyped 1f6...
device frame, paddr = 0x48022000, size = 12 bits
capDL-loader :: << Error: Failed to find device frame at paddr = 0x48022000
>>
I am reasonably confident the address is correct,
(https://github.com/seL4/libplatsupport/blob/master/plat_include/am335x/platsupport/plat/serial.h#L15)
Looking at the source It seems capDL-Loader wants to find this device
frame in bootinfo
https://github.com/seL4/capdl-loader-app/blob/master/src/main.c#L731
Any help on how capDL-loader builds bootinfo would be appreciated.
Jeff
--
Jeffrey L. Hieb
Department of Engineering Fundamentals
University of Louisville
Louisville Kentucky 40292
(502) 852 0465
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
