February 18, 2019 6:11 PM
> *To:* devel@sel4.systems
> *Subject:* Re: [seL4] port SeL4 to renesas rcar-H3 development board
>
> Hi guys !!!
>
> Thank you for your quick replay.
>
> I'm try to port Sel4 kernel to the* renesas H3 ULCB* board with two
> clusters (ARM57),(ARM53)
From: Devel on behalf of Diego Alejandro Parra
Guzman
Sent: Monday, February 18, 2019 6:11 PM
To: devel@sel4.systems
Subject: Re: [seL4] port SeL4 to renesas rcar-H3 development board
Hi guys !!!
Thank you for your quick replay.
I'm try to port Sel4 kernel
Hi guys !!!
Thank you for your quick replay.
I'm try to port Sel4 kernel to the* renesas H3 ULCB* board with two
clusters (ARM57),(ARM53) each one with 4 cores
I just have couple of questions regarding with the elf loader in
sel4-tools:
there is some files in* elfloader-tool/plat/** those
Hi Diego,
Cool! We're currently in the process of making arm board ports much easier, and
when that's done we'll write up a concrete tutorial on adding new platform
support for ARM boards. For now though...
Which cores are you looking to run seL4 on? And in which mode (aarch64 or
aarch32?)
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
