Re: [seL4] seL4 System Utilization / Benchmark

You should be able to call seL4 syscalls from a CAmkES component. Just include the right headers (and link the library if necesary). Note that if the syscalls require caps, then you are on your own wrt how to get the caps. Ihor > On 18 Jan 2017, at 12:29 pm, Andrew Gacek

Re: [seL4] CAmkES Question

Hi Chris, You may not have to do anything... We have already implemented gdb debug support for CAmkES. While it hasn’t been released into the master branch yet (we are fixing some bugs when run with a virtual machine and finishing code review) you can have a look at it (and try it out) using

Re: [seL4] Workshop debrief?

Hi, I’ve put up slides from the seL4 workshop on http://sel4.systems/Community/Devdays/Workshop2016 Still no details about the gaps discussion though. My apologies for the delay. Lots of work and the holiday season meant that doing this got pushed down on the todo stack. Ihor. > On 19 Dec

Re: [seL4] smaccm/sel4arm-vmm-manifest complie problem

Hi, If you successfully build the system, you will have one image (containing seL4, the VMM, and Linux) in images/sel4arm-vmm-image-arm-exynos5 That is what you’ll want to load and run. The specific parts of what is in that image can be found in: build/kernel/kernel.elf - the kernel

Re: [seL4] x86 kernel address space side channels

We are currently working on an seL4 fix for Meltdown. Ihor. > On 4 Jan 2018, at 9:35 am, Alex Elsayed wrote: > > It seems the snazzy site with a snazzy name and snazzy papers has landed: > > https://spectreattack.com/ > > >

Re: [seL4] Questions about Vchan

We haven’t touched the vchan code in a while, and have pretty much stopped using vchan. We developed cross-vm dataports and events for x86[1], and will be starting work to complete those with cross-vm RPC and make that available on ARM too. Of course that doesn’t help you right now, but just

Re: [seL4] Interested in Contributing to SeL4

Hi Aditya, We have several blog posts about seL4 (and related topics) on https://research.csiro.au/tsblog/ . Also Gernot blogs about seL4-related topics on https://microkerneldude.wordpress.com/ With regards to seL4 projects, you’ve already found our wiki page of suggested projects, which has