rcore-os / rbootLinks
The x86_64 UEFI bootloader for rCore
☆45Updated 2 years ago
Alternatives and similar repositories for rboot
Users that are interested in rboot are comparing it to the libraries listed below
Sorting:
- hypercraft is a VMM library written in Rust.☆50Updated 7 months ago
- A Type-1.5 hypervisor written in Rust.☆63Updated last year
- Rcore Virtual Machine☆114Updated last year
- Handle TrapFrame across kernel and user space on multiple ISAs.☆32Updated 10 months ago
- The file system module for rCore OS.☆49Updated 11 months ago
- An experimental RTOS written in Rust.☆36Updated 2 years ago
- Reimplement Zircon microkernel in Rust.☆12Updated 3 years ago
- hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.☆48Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- RustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core☆17Updated last year
- 调试大师:你见过最强的内核调试器☆36Updated 4 years ago
- Mirror of git.qemu.org/seabios.git☆65Updated 3 months ago
- My operating system! Written in Rust. Only support UEFI x86_64☆16Updated 4 years ago
- Let's write an OS which can run on ARM in Rust from scratch! (🚧WIP)☆17Updated 3 years ago
- UEFI app to load ELF and Raw binary☆29Updated 10 years ago
- ☆30Updated this week
- An implementation of ext2 filesystem in Rust☆15Updated 3 years ago
- Crates for Microsoft Hypervisor ioctls and bindings☆36Updated last week
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- A curated list of awesome things related to rustsbi☆40Updated 2 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆31Updated 2 years ago
- User programs for rCore OS☆18Updated 2 years ago
- Provides allocations and release strategies for resources used during the lifetime of a VM.☆30Updated 3 weeks ago
- Operating System Simulator☆19Updated 5 years ago
- Serialize & deserialize device tree binary using serde☆20Updated last month
- ☆35Updated last year
- All public report slides, articles and meeting minutes related to RustSBI☆29Updated 3 weeks ago
- LeOS operating system Kernel for AArch64 written in Rust☆80Updated 4 years ago