Alternatives and similar repositories for la-seL4

Users that are interested in la-seL4 are comparing it to the libraries listed below

• SKT-CPUOS / xv6-loongarch-exp
  ☆27Updated 2 years ago
• oscomp / testsuits-for-oskernel
  ☆146Updated 4 months ago
• Godones / rCoreloongArch
  ☆21Updated 8 months ago
• ISRC-CAS / riscv-isa-manual-cn
  ☆212Updated 2 months ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆278Updated last month
• runninglinuxkernel / riscv_programming_practice
  ☆225Updated 2 years ago
• LiuJiLan / RVOS_On_VisionFive2
  RVOS在VisionFive2开发板上的移植。
  ☆16Updated last year
• QQxiaoming / quard_star_tutorial
  This project aims to build an Embedded Linux System, in order to analyze the chip from the power-on execution of the first instruction to…
  ☆371Updated this week
• Jrinx / Jrinx
  ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
  ☆29Updated 2 years ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆144Updated 4 years ago
• gtxzsxxk / temu
  可移植的 RISC-V 解释执行模拟器。模拟了常见的SoC外设，支持运行主线Linux。A portable RISC-V emulator working in instruction-interpreting way. Common SoC peripherals ar…
  ☆93Updated last year
• NJU-ProjectN / nvboard
  NJU Virtual Board
  ☆297Updated 3 months ago
• oscomp / oskernel-testsuits-cooperation
  ☆14Updated 8 months ago
• arceos-hypervisor / axvisor
  Unified modular arceos-hypervisor
  ☆34Updated this week
• LoveLonelyTime / Bergamot
  An exquisite superscalar RV32GC processor.
  ☆162Updated 11 months ago
• LearningOS / rCore-Tutorial-Code-2023S
  Let's write an OS which can run on RISC-V in Rust from scratch!
  ☆16Updated 2 years ago
• plctlab / writing-your-first-riscv-simulator
  《从零开始的RISC-V模拟器开发》配套的PPT和教学资料
  ☆234Updated 4 years ago
• loongson-education / nscscc-wiki
  NSCSCC 信息整合
  ☆252Updated 4 years ago
• NJU-ProjectN / fceux-am
  ☆102Updated last month
• rv2036 / rv2036-website
  Official website for Jiachen Project (甲辰计划).
  ☆61Updated 2 months ago
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 4 years ago
• Lingrui98 / RISC-V-book
  A translation project of the RISC-V reader
  ☆174Updated last year
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆295Updated last month
• cyyself / cemu
  A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …
  ☆119Updated last year
• sunshaoce / rvcc
  本课程基于Rui的chibicc，@sunshaoce和@ksco将其由原来的X86架构改写为RISC-V 64架构，同时加入了大量的中文注释，并且配有316节对应于每一个commit的课程，帮助读者可以层层推进、逐步深入的学习编译器的构造。
  ☆359Updated 2 years ago
• NJU-ProjectN / abstract-machine
  A minimal, modularized, and machine-independent hardware abstraction layer
  ☆520Updated this week
• runninglinuxkernel / BenOS
  ☆80Updated 3 years ago
• rv2036 / riscv-board-wandering
  RISC-V Development Boards Wandering Project. It is part of the Jiachen Project.
  ☆44Updated last week
• OSCPU / ysyx-workbench
  ☆159Updated last week
• OSCPU / ysyx
  一生一芯的信息发布和内容网站
  ☆135Updated 2 years ago