twd2 / osdev
os dev
☆18Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for osdev
- Operating System Simulator☆19Updated 5 years ago
- Booting multi-processors on x86 bare-metal.☆11Updated 2 years ago
- This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …☆30Updated 9 years ago
- Hello RISC-V 64!☆17Updated 6 years ago
- An SoC with multiple RISC-V IMA processors.☆19Updated 6 years ago
- This repo contains a RISC-V ISA extension (proposal) to allow recording of control transfer history to on-chip registers, to support usag…☆17Updated 3 weeks ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆17Updated 7 years ago
- The x86_64 UEFI bootloader for rCore☆43Updated 2 years ago
- Verilog code of Loongson's GS132 core☆11Updated 4 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University☆11Updated 5 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 4 years ago
- Relaxed Rust (for cats)☆16Updated 5 years ago
- A hardware accelerated IP packet forwarder running on programmable ICs☆16Updated last year
- User-mode trap-and-emulate hypervisor for RISC-V☆13Updated 2 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆30Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- UEFI app to load ELF and Raw binary☆29Updated 9 years ago
- Warning: 🕳 ahead!☆16Updated 4 years ago
- User programs for rCore OS☆18Updated 2 years ago
- nebulae kernel - stage 0 uefi barebones☆34Updated 11 months ago
- WIP: A fork of OpenSBI, with software-emulated hypervisor extension support☆34Updated last year
- My DAC '21 work open-sourced.☆14Updated 3 years ago
- Yet Another AsYnc runtime for RuSt.☆34Updated 4 years ago
- A stripped-down LLD (LLVM linker)☆29Updated 4 years ago
- RV32I by cats☆17Updated last year
- Tex source for talk slide.☆10Updated 3 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago