SEL4PROJ / AOS-manifest

Related projects ⓘ

Alternatives and complementary repositories for AOS-manifest

• oscourse-tsinghua / LoongsonCsprj2017-manual
  基于龙芯FPGA开发板的计算机综合系统实验
  ☆25Updated 5 years ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆34Updated last year
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 6 years ago
• rcore-os / rcore-user
  User programs for rCore OS
  ☆18Updated 2 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆13Updated 2 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆50Updated 11 months ago
• char-fish-after-lunch / SystemOnCat
  An SoC with multiple RISC-V IMA processors.
  ☆19Updated 6 years ago
• mit-pdos / ward
  ☆30Updated 2 years ago
• oscomp / proj1-rustsbi
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Updated 2 years ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 4 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 4 years ago
• pleasewhy / startos
  rewrite subset of linux 2.6 by OOP, C++ advanced topics
  ☆11Updated 3 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆48Updated 2 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated last year
• riscvarchive / riscv-tee
  ☆37Updated 2 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago
• hakula139 / xv6-armv8
  [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
  ☆16Updated 3 years ago
• SKTT1Ryze / xv6-k210
  Porting xv6-riscv on k210
  ☆19Updated 3 years ago
• umd-memsys / gem5
  This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews shoul…
  ☆11Updated 4 years ago
• trivialmips / linux-nontrivial-mips
  Linux porting to NonTrivialMIPS (based on linux-stable)
  ☆12Updated 5 years ago
• thu-cs-lab / JieLabs-Web
  Backend & Frontend for JieLabs
  ☆22Updated last year
• LC-John / RISCV-Simulator
  PKU computer organization and architecture RISC-V Simulator LAB
  ☆33Updated 6 years ago
• bajdcc / cliblisp
  Simple Lisp VM(C++ 14)
  ☆33Updated 5 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• LearningOS / uCore-Tutorial-Guide-2022S
  ☆18Updated 2 years ago
• foreverbell / yfs
  Yet Another File System (yfs) based on Paxos algorithm.
  ☆16Updated 7 years ago
• foxhoundsk / FlexSC
  Implementation of FlexSC on Linux Kernel v5.0+ and Performance Analysis
  ☆19Updated 4 years ago
• akangakang / OS-ChCore-Lab
  上海交通大学软件学院🍭操作系统课程🍦实验
  ☆21Updated 3 years ago