Re: [seL4] run docker on sel4

To add a bit to what Adam wrote On 6 Nov 2018, at 14:38, adam.feli...@data61.csiro.au wrote: - Using a camkes system would mean you're working in a static environment. This would mean the number of components in your system (Guest VMM's including) would be

Re: [seL4] run docker on sel4

Hi Justin, I'm really sorry for the delayed response, I hope this hasn't deterred you from the project. Docker on seL4 sounds like a really interesting project and we would be keen to hear of any progress. I can provide high level comments on some of the mentioned approaches: 1. Building you

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

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 Setting the config option: Tk1Insecure to True should pass through the correct hardware access. Then "ifconfig eth0 up" should

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

?Hi Robbie, Sorry for the late response. b) I require the use of the Cortex R5 cores in DCLS mode for trusted code with high fault tolerance requirements. --- The Cortex R5 processors lack of MMUs, so seL4 does not support R processors. c) I require the use of the Cortex A53 cores for

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

Hi Andrew, Sorry for the late reply on this one! 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

Re: [seL4] seL4 IPC and SMP question.

Hi, > 2. Can you explain the difference when thread state is "ThreadState_Running" > and "ThreadState_Restart"? This indicates if the thread is returning from a system call (therefore the instruction pointer needs to be updated) or a preemption. See the function activateThread which does the