ther boot loaders. Otherwise, the elfloader needs to set up the
> port.
>
>
> Hope this can help a bit.
>
>
>
> Regards,
>
> Yanyan
>
>
> ------
> *From:* Devel on behalf of Diego Alejandro
> Parra Guzman
> *Sent:* Monday,
there is not
an initialization for the *UART. could you tell me why not?*
Thank you.
best regards
On Sat, 16 Feb 2019 at 06:57, Diego Alejandro Parra Guzman <
dapar...@correo.udistrital.edu.co> wrote:
> Hi guys !!!
>
> Thank you for your quick replay.
>
> I'm try to port Sel4 kernel to the* r
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
