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_cpus*implemented 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(a)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_cpus*implemented 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(a)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
>
--
Diego Alejandro Parra Guzmán
Estudiante de ingeniería electrónica
Universidad distrital FJC