port SeL4 to renesas rcar-H3 development board

14 Feb 2019

      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

Diego Alejandro Parra Guzman