tyyteam / la-seL4
The seL4 microkernel with loongarch support, see official repositories at https://github.com/seL4
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for la-seL4
- ☆17Updated 5 months ago
- ☆98Updated 3 months ago
- Port XV6 to K210 board!☆131Updated 3 years ago
- 为了更好地帮助后来的同学参加龙芯杯，草拟了这份建议，望对后来人有所帮助☆114Updated 4 years ago
- 2021年OS比赛获奖赛题（文档/代码开源），可用于2022年参赛同学的学习和提高☆46Updated 2 years ago
- ☆83Updated last week
- Official website for Jiachen Project (甲辰计划).☆48Updated 8 months ago
- ☆24Updated last year
- a Quad-issue, Out-of-order Superscalar MIPS Processor Implemented in SystemVerilog☆45Updated 11 months ago
- ☆80Updated 6 months ago
- CQU Dual Issue Machine☆34Updated 4 months ago
- ☆21Updated last year
- 适用于龙芯杯团队赛入门选手的应急cache模块☆22Updated 8 months ago
- 复旦大学FDU1.1队在第四届“龙芯杯”的参赛作品☆40Updated 4 years ago
- "全国大学生操作系统比赛2024"相关信息☆255Updated 3 months ago
- 龙芯杯21个人赛作品☆34Updated 3 years ago
- A Verilator based SoC simulator that allows you to define AXI Slave interface in software.☆43Updated 2 weeks ago
- UltraMIPS SoC composed of dual-issue cpu, pipeline Cache and systematic peripheral.☆121Updated 4 months ago
- LLCL-MIPS is a superscalar MIPS processor, which supports MIPS Release 1 instructions and is capable of booting linux kernel. （第五届龙芯杯特等奖作…☆35Updated 2 years ago
- ☆48Updated 2 years ago
- 可移植的 RISC-V 解释执行模拟器。模拟了常见的SoC外设，支持运行主线Linux。A portable RISC-V emulator working in instruction-interpreting way. Common SoC peripherals ar…☆76Updated last month
- ☆102Updated last year
- ☆33Updated 5 years ago
- NJU Virtual Board☆235Updated 3 months ago
- PLCT实验室维护的QEMU仓库。代码放在 plct- 前缀的分支里。☆26Updated 3 months ago
- RISC-V Development Boards Wandering Project. It is part of the Jiachen Project.☆26Updated this week
- PLCT实验室实习生社区。☆212Updated this week
- Linux-capable out-of-order superscaler multicore LoongArch32 (LA32 / LA32R) processor.☆14Updated 3 months ago
- NSCSCC 信息整合☆220Updated 3 years ago
- ☆31Updated last year