I am not aware of a specific definition for a static system in the
context of seL4.
I think typically when people refer to a static system on seL4 they mean
that after the initial task has setup the system, the capability
distribution of the system remains the same.
I'm not quite sure what y
Hi,
Sel4cp documentation states that it is for building static systems. I
wanted to dig into what we mean by static systems here, as some exchange of
resources is needed for the system to function.
Do all of these have to be true for the system to be considered static?
After the monitor has create
Thanks to both of you. This is quite helpful.
On Tue, Aug 8, 2023 at 1:47 AM Indan Zupancic wrote:
> [CAUTION: Non-UBC Email]
>
> Hello Sid,
>
> On 2023-08-08 05:20, Sid Agrawal wrote:
> > 1. Looking at the DTS files for tqma8xqp-1gb in the seL4 repo. I see
> > one big file and another overlay.
Hello Sid,
On 2023-08-08 05:20, Sid Agrawal wrote:
1. Looking at the DTS files for tqma8xqp-1gb in the seL4 repo. I see
one big file and another overlay. Why are there two for the same
board? I would have understood if one was for the SoC and another
for the board.
- tools/dts/tqma8xqp1gb.dts
-
Just a small correction, the DTS you see in seL4 (e.g
tools/dts/tqma8xqp1gb.dts) is *typically* from Linux but that doesn't
necessarily have to be the case. It could be from anywhere, it just
needs to be a valid description of the hardware.
On 8/8/23 15:28, Ivan Velickovic wrote:
1.
seL4 nee
1.
seL4 needs to know certain aspects of the platform at compile time such
as the start of main memory and how large it is. This information is
extracted from the DTS by the seL4 build-system. The reason there are
two DTS files is that one is from Linux and is just a general
description of th
Thank you, Indan and Ivan. I have a few follow-up questions for @Ivan.
1. Looking at the DTS files for tqma8xqp-1gb in the seL4 repo. I see one
big file and another overlay. Why are there two for the same board? I would
have understood if one was for the SoC and another for the board.
- tools/dts/
Hi Sid,
Just to add on to what the others have said. For booting an seL4CP image,
tftpboot or other U-Boot methods will also work and we have been doing that
internally at Trustworthy Systems. Just to note that some sel4test
images are
a different format compared to seL4CP images. All seL4CP im
Hello Sid,
On 2023-08-05 02:47, Sid Agrawal wrote:
I have a rspi4 and a Toradex Colibri iMX8X module with the aster
carrier
board. This Toradex has the same SoC ( iMX8X) as the tqma8xqp-1gb
mentioned
on the sel4cp website. Do you folks have any thoughts on how much
effort it
is getting seL4 wo
We're using seL4cp. I have written simple timer drivers for the Odroid-C2
and imx8mm platforms. Neither of these platforms is officially supported
by seL4cp at this time. The former requires support for edge-triggered
interrupts in seL4cp and the latter a more recent version of seL4. We have
a
10 matches
Mail list logo
