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 are intended to initialize the CPU and the UART on the platform. In there, there is a function written in assembly called core_entry_head and a function init_cpusimplemented in smp.c file.

Could you please explain me a little bit what is the purpose of these functions ?

In the case of init_cpus where is suppose to be that information? I means, I should reference the ARM57 or ARM53 cpu manual or maybe to the boot section in the SoC manual.

from the other hand the renesas H3 ULCB doesn't have a physical UART port. Instead, it has an Serial Communication Interface with FIFO (SCIF) that can be configure properly to be compatible with UART interfaces. The point is that I'm using this interface in order to implement the __fputc() function following the one implemented in sys_fput.c file. Unfortunately, I don't understand why in your implementation 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 <daparrag@correo.udistrital.edu.co> wrote:

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 are intended to initialize the CPU and the UART on the platform. In there, there is a function written in assembly called  core_entry_head and a function init_cpusimplemented in smp.c file.
Could you please explain me a little bit what is the purpose of these functions ?

In the case of init_cpus where is suppose to be that information? I means, I should reference the ARM57 or ARM53 cpu manual or maybe to the boot section in the SoC manual.

from the other hand the renesas H3 ULCB doesn't have a physical UART port. Instead, it has an Serial Communication Interface with FIFO (SCIF) that can be configure properly to be compatible with UART interfaces. The point is that I'm using this interface in order to implement the __fputc()  function following the one implemented in sys_fput.c file.  Unfortunately, I don't understand why in your implementation there is not an initialization for the UART.  could you tell me why not?

Thank you.

best regards

On Wed, 13 Feb 2019 at 15:21, Diego Alejandro Parra Guzman <daparrag@correo.udistrital.edu.co> wrote:

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 Guzmán
Estudiante de ingeniería electrónica
Universidad distrital FJC