yyshen's repositories
deterministic
code for examining determinism of performance counters
new-tee-os
A brand new OS that runs in various kinds of TEEs and supports Linux ABI
qemu-alistair23
Fork from https://github.com/alistair23/qemu. To preserve working RISCV HE working branches
riscv-software-list
The RISC-V software tools list, as seen on riscv.org
sel4runtime
A minimal runtime for seL4 applications.
sel4test-manifest
Project to build and test seL4 for many different platforms
whitepaper
Source for the seL4 white paper
yyshen.github.io
GitHub Pages