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<mailto:anna.lyons@nicta.com.au>
www.data61.csiro.au<http://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.