Hi all,

I've just finished pushing the seL4 benchmarking suite out to github.

Get it:

* manifest: https://github.com/seL4/sel4bench-manifest
* explore the applications: https://github.com/seL4/sel4bench.

Cheers,

-- 

Anna Lyons
Kernel engineer / PhD Student
DATA61 | CSIRO
E anna.lyons@nicta.com.au 
www.data61.csiro.au
 
CSIRO's Digital Productivity business unit and NICTA have joined forces to create digital powerhouse Data61

The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.