Re: [seL4] seL4 on Heterogeneous Processing Architectures (Zynq UltraScale+ MPSoCs)

Hi Robbie, You could run seL4 on the Cortex-A and eChronos on the Cortex-R. If you intend to run a single single-threaded application on the Cortex-R​, you could run the server without an OS. I recommend that you load and start the server OS (or bare metal server) using the elfloader rather th

Re: [seL4] seL4 on Heterogeneous Processing Architectures (Zynq UltraScale+ MPSoCs)

On 6 Nov 2018, at 22:27, Blam Kiwi mailto:blam.k...@gmail.com>> wrote: I wasn't fully appreciating the difference between the MPU and MMU in relation to seL4. If the R5's can't be supported then that simplifies the decision space somewhat. Guess I'll evaluate the RTOSes before throwing my hands

Re: [seL4] Passing Network Resource to Linux VM in TK1-SOM

Yeah it helps a lot. Thank you! Best Regards -Daniel Wang > On Nov 5, 2018, at 8:03 PM, > wrote: > > Hi Daniel, > > I don't know if this is still an issue for you, but if it is, do these > instructions help? > https://sel4.systems/pipermail/devel/2017-January/001232.html >

Re: [seL4] seL4 on Heterogeneous Processing Architectures (Zynq UltraScale+ MPSoCs)

Hi Yanyan, Sorry for the confusing wording, I'm still familiarizing myself with seL4 and its community nomenclature. Thank you for taking the time to answer my noobish questions. I wasn't fully appreciating the difference between the MPU and MMU in relation to seL4. If the R5's can't be supported

Re: [seL4] Support for QNX-like booting from an XIP filesystem image

On 11/5/18, anna.ly...@data61.csiro.au wrote: > The boot code of seL4 is currently unverified, but we do have ambitions for > verification in the future. As such, we'd want to keep a minimal, static > boot environment. That said, we'd be more than happy to take a look at any > patches you have in