20 Aug
2021
20 Aug
'21
6:51 p.m.
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?