yyshen

yyshen's Stars

• auxoncorp/ferros

  A Rust-based userland which also adds compile-time assurances to seL4 development.

  Language:Rust10510

• rcore-os/rCore

  Rust version of THU uCore OS. Linux compatible.

  Language:Rust3.4k369

• seL4/seL4

  The seL4 microkernel

  Language:C4.6k644

• riscv/riscv-isa-manual

  RISC-V Instruction Set Manual

  Language:TeX3.4k587

• deater/deterministic

  code for examining determinism of performance counters

  Language:GLSL205

• theonewolf/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.

  Language:C5319