about portint doc：(https://docs.sel4.systems/projects/sel4/porting)
“You may need to add device nodes depending on what Linux uses and what is required by seL4. For example, in the port of the Rockpro64 a memory node and an extra timer node were needed so these had to be defined manually.” how can I get the required by seL4? have any doc about it? _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
