Hi Jeff, seL4 populates the bootinfo structure for the root process.
MMIO frame production is a data driven process using the following data structure: https://github.com/seL4/seL4/blob/master/src/plat/am335x/machine/hardware.c#L43 FYI, the physical address of device frames are defined here: https://github.com/seL4/seL4/blob/master/include/plat/am335x/plat/machine/devices.h If the uart device that you are attempting to use is not in the list, feel free to add it. - Alex ________________________________________ From: Devel [[email protected]] on behalf of Jeff Hieb [[email protected]] Sent: Sunday, 27 September 2015 23:07 To: [email protected] Subject: [seL4] Camkes MMIO Driver Failed to find device frame 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 ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
