Pinned Repositories
cortex-a
Low level access to Cortex-A processors
deterministic
code for examining determinism of performance counters
docs
This is the source of the seL4 docs.
graph-refine
libperf
libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to userspace code. It can be used to efficiently trace portions of code with kernel support.
mbw
Memory Bandwidth Benchmark
musllibc
new-tee-os
A brand new OS that runs in various kinds of TEEs and supports Linux ABI
qemu
QEMU RISC-V Repo
qemu-alistair23
Fork from https://github.com/alistair23/qemu. To preserve working RISCV HE working branches
yyshen's Repositories
yyshen/mbw
Memory Bandwidth Benchmark
yyshen/libperf
libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to userspace code. It can be used to efficiently trace portions of code with kernel support.
yyshen/cortex-a
Low level access to Cortex-A processors
yyshen/deterministic
code for examining determinism of performance counters
yyshen/docs
This is the source of the seL4 docs.
yyshen/graph-refine
yyshen/musllibc
yyshen/new-tee-os
A brand new OS that runs in various kinds of TEEs and supports Linux ABI
yyshen/qemu
QEMU RISC-V Repo
yyshen/qemu-alistair23
Fork from https://github.com/alistair23/qemu. To preserve working RISCV HE working branches
yyshen/rCore
Rust version of THU uCore OS. Linux compatible.
yyshen/riscv-linux-5.2
yyshen/riscv-pk
RISC-V Proxy Kernel
yyshen/riscv-software-list
The RISC-V software tools list, as seen on riscv.org
yyshen/seL4
The seL4 microkernel
yyshen/seL4_libs
yyshen/seL4_projects_libs
yyshen/seL4_tools
yyshen/sel4runtime
A minimal runtime for seL4 applications.
yyshen/sel4test
Test suite for seL4.
yyshen/sel4test-manifest
Project to build and test seL4 for many different platforms
yyshen/util_libs
yyshen/whitepaper
Source for the seL4 white paper
yyshen/yyshen.github.io
GitHub Pages