Alternatives and similar repositories for la-seL4

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

• Godones / rCoreloongArch
  ☆22Updated last month
• oscomp / testsuits-for-oskernel
  ☆129Updated this week
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆139Updated 3 years ago
• LiuJiLan / RVOS_On_VisionFive2
  RVOS在VisionFive2开发板上的移植。
  ☆16Updated last year
• SKT-CPUOS / xv6-loongarch-exp
  ☆26Updated 2 years ago
• plctlab / plct-qemu
  PLCT实验室维护的QEMU仓库。代码放在 plct- 前缀的分支里。
  ☆28Updated 10 months ago
• oldawei / show_me_the_code
  Talk is cheap. Show me the code.
  ☆21Updated 7 months ago
• oscomp / proj226-tangram-kernel-components-frameworks
  基于组件化设计的思路，用Rust语言的丰富语言特征，设计实现不同功能的独立操作系统内核模块和操作系统框架，可形成不同特征/形态/架构的操作系统内核
  ☆9Updated last month
• runninglinuxkernel / riscv_programming_practice
  ☆206Updated last year
• oscomp / 2021oscomp-best-kernel-design-impl
  2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高
  ☆48Updated 3 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆55Updated last year
• runninglinuxkernel / BenOS
  ☆67Updated 2 years ago
• Jrinx / Jrinx
  ARINC653 Multi-Partition Operating System Based On RISC-V, capable of running on SiFive HiFive Unmatched.
  ☆26Updated last year
• arceos-hypervisor / axvisor
  Unified modular arceos-hypervisor
  ☆15Updated this week
• cyyself / cemu
  A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …
  ☆117Updated 7 months ago
• foxsen / qemu-loongarch-runenv
  Environment for experimenting loongarch bios and OS on X86 machines
  ☆65Updated last year
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆23Updated last year
• plctlab / writing-your-first-riscv-simulator
  《从零开始的RISC-V模拟器开发》配套的PPT和教学资料
  ☆220Updated 3 years ago
• yuhanzhu612 / OSCPU
  我的一生一芯项目
  ☆16Updated 3 years ago
• rv2036 / riscv-board-wandering
  RISC-V Development Boards Wandering Project. It is part of the Jiachen Project.
  ☆40Updated this week
• NoAXI / NoAXI-LoongArch-CPU
  Second Prize in NSCSCC 2024. Developed by team NoAXI from Hangzhou Dianzi University.
  ☆17Updated 8 months ago
• rv2036 / rv2036-website
  Official website for Jiachen Project (甲辰计划).
  ☆55Updated 5 months ago
• Clo91eaf / PUA-MIPS
  NSCSCC 2023 The Second Prize. TEAM PUA FROM HDU.
  ☆13Updated 2 months ago
• LearningOS / oscomp-kernel-training
  ☆48Updated 2 years ago
• cyyself / soc-simulator
  A Verilator based SoC simulator that allows you to define AXI Slave interface in software.
  ☆49Updated 6 months ago
• bao-project / bao-demos
  A guide on how to build and use a set of Bao guest configurations for various platforms
  ☆42Updated 4 months ago
• ISRC-CAS / riscv-isa-manual-cn
  ☆171Updated last year
• zencove-thu / zencove-zoom
  Highly configurable out-of-order MIPS32 processor, capable of booting Linux.
  ☆39Updated last year
• oscomp / oskernel-testsuits-cooperation
  ☆11Updated last month
• KarmaD7 / rHyper
  ☆45Updated 2 years ago