tyyteam / la-seL4
The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
☆17Updated 2 years ago
Alternatives and similar repositories for la-seL4:
Users that are interested in la-seL4 are comparing it to the libraries listed below
- ☆112Updated this week
- ☆19Updated 9 months ago
- Port XV6 to K210 board!☆136Updated 3 years ago
- hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine☆54Updated last year
- UltraMIPS SoC composed of dual-issue cpu, pipeline Cache and systematic peripheral.☆124Updated 8 months ago
- 2020龙芯杯个人赛 简易双发射60M(含ibuffer)☆34Updated 4 years ago
- RVOS在VisionFive2开发板上的移植。☆15Updated 10 months ago
- 适用于龙芯杯团队赛入门选手的应急cache模块☆23Updated last year
- 龙芯杯个人赛工具包(适用于个人赛的golden_trace工具)☆48Updated last year
- 2021年OS比赛获奖赛题(文档/代码开源),可用于2022年参赛同学的学习和提高☆48Updated 3 years ago
- 可移植的 RISC-V 解释执行模拟器。模拟了常见的SoC外设,支持运行主线Linux。A portable RISC-V emulator working in instruction-interpreting way. Common SoC peripherals ar…☆84Updated 5 months ago
- verilog module add prefix script 可用于ysyx项目添加学号☆13Updated last year
- Official website for Jiachen Project (甲辰计划).☆54Updated 3 months ago
- NSCSCC 信息整合☆232Updated 4 years ago
- An exquisite superscalar RV32GC processor.☆151Updated 2 months ago
- 本项目已被合并至官方Chiplab中☆10Updated 2 months ago
- 为了更好地帮助后来的同学参加龙芯杯,草拟了这份建议,望对后来人有所帮助☆122Updated 4 years ago
- A Verilator based SoC simulator that allows you to define AXI Slave interface in software.☆47Updated 4 months ago
- 基于组件化设计的思路,用Rust语言的丰富语言特征,设计实现不同功能的独立操作系统内核模块和操作系统框架,可形成不同特征/形态/架构的操作系统内核☆9Updated last year
- 体系结构研讨 + ysyx高阶大纲 (WIP☆143Updated 4 months ago
- 2022年龙芯杯个人赛 单发射110M(含icache)☆44Updated 2 years ago
- NJU Virtual Board☆261Updated 2 months ago
- A simple full system emulator. Currently support RV64IMACSU and MIPS32 and LoongArch32. Capable of booting Linux. Suitable for education …☆114Updated 4 months ago
- NSCSCC 2023 The Second Prize. TEAM PUA FROM HDU.☆10Updated 11 months ago
- ☆32Updated last year
- Titanix: A Unix-like OS.☆20Updated last year
- 一生一芯的信息发布和内容网站☆128Updated last year
- Let's write an OS which can run on RISC-V in Rust from scratch!☆16Updated last year