Alternatives and similar repositories for oscomp-toolchains-for-oskernel:

Users that are interested in oscomp-toolchains-for-oskernel are comparing it to the libraries listed below

• oscomp / starry-next
  基于arceos unikernel的轻量组件化宏内核 starry-next, 位列支持linux app的宏内核排行榜：https://learningos.cn/oscomptest-grading , starry-next指导书：https://azure-sta…
  ☆12Updated last week
• oscomp / testsuits-for-oskernel
  ☆124Updated this week
• rcore-os / blog
  rcore-os Developer Blog
  ☆45Updated this week
• hust-open-atom-club / riscv-online
  Online RISC-V assembly development tools
  ☆16Updated 6 months ago
• Byte-OS / polyhal
  ☆17Updated last week
• openeuler-riscv / oerv-team
  OERV 实习生工作中心
  ☆21Updated last week
• gtxzsxxk / temu
  可移植的 RISC-V 解释执行模拟器。模拟了常见的SoC外设，支持运行主线Linux。A portable RISC-V emulator working in instruction-interpreting way. Common SoC peripherals ar…
  ☆87Updated 6 months ago
• chenzhiy2001 / code-debug
  Source-level operating system debugging tool that supports debugging kernel and multiple user processes synchronously. VSCode integration…
  ☆37Updated 2 weeks ago
• plctlab / weloveinterns
  PLCT实验室实习生社区。
  ☆244Updated 3 weeks ago
• rv2036 / riscv-board-wandering
  RISC-V Development Boards Wandering Project. It is part of the Jiachen Project.
  ☆37Updated this week
• Byte-OS / ByteOS
  ☆21Updated last week
• SKT-CPUOS / xv6-loongarch-exp
  ☆27Updated 2 years ago
• oscomp / os-competition-info
  "全国大学生操作系统比赛2025"相关信息
  ☆276Updated last month
• Godones / rCoreloongArch
  ☆22Updated 11 months ago
• rustsbi / rustsbi-qemu
  QEMU platform SBI support implementation, using RustSBI
  ☆143Updated 6 months ago
• HUST-OS / xv6-k210
  Port XV6 to K210 board!
  ☆136Updated 3 years ago
• storage-db / nerdos
  一种支持多种架构嵌入式领域的实时操作系统，支持网络通信和grub启动
  ☆65Updated last year
• arceos-org / oscamp
  Experiments and course for oscamp.
  ☆11Updated this week
• lat-opensource / lat
  ☆173Updated this week
• ViudiraTech / Uinxed-Kernel
  This project is a kernel development project for operating systems based on the GPL-3.0 open source license, named Uinxed-Kernel. It was …
  ☆66Updated 2 months ago
• pku-minic / koopa
  Library for generating/parsing/optimizing Koopa IR.
  ☆119Updated 4 months ago
• mlinux-project / minimal
  MLinux Minimal is a minimalized Linux distro.
  ☆78Updated 11 months ago
• hanbings / NanoOS
  NanoOS - A OS
  ☆18Updated 5 years ago
• LiuJiLan / RVOS_On_VisionFive2
  RVOS在VisionFive2开发板上的移植。
  ☆16Updated last year
• arceos-hypervisor / axvisor
  Unified modular arceos-hypervisor
  ☆14Updated this week
• greenhandzpx / Titanix
  Titanix: A Unix-like OS.
  ☆23Updated last year
• yunwei37 / os-summer-of-code-daily
  OS Summer of Code 2020 每日学习实践记录（rust 学习 & rcore tutorial rust实现一个riscv操作系统 & rCore 到 zCore 的功能迁移）
  ☆84Updated last month
• hust-open-atom-club / intro2oss
  开源软件通识课程 (Introduction to Open Source Software)，本课程暂定设计面向信息大类专业的大一学生
  ☆28Updated last month
• tyyteam / la-seL4
  The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
  ☆18Updated 2 years ago
• pku-minic / kira-rs
  The example SysY compiler Kira for PKU compiler course, written in Rust.
  ☆60Updated last year