Hi, I'm new with seL4 kernel and I would like to port it to the ARM-based renesas rcar-H3 board
I would like to ask of you have a development manual that i can follow with some basics about how to do it? I followed the tutorials and so one. But I will appreciate if you have something guidelines to start. Thank you BR Diego. -- Diego Alejandro Parra Guzmán Estudiante de ingeniería electrónica Universidad distrital FJC
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
