0xMirasio / qemu-patch-raspberry4
patch QEMU for raspberry4
☆50Updated last year
Related projects: ⓘ
- an operating system for the Raspberry Pi 4B in the making☆51Updated 4 months ago
- A utility for decoding aarch64 ESR register values.☆67Updated this week
- ☆94Updated 5 years ago
- Tool for automatically generating MMU and translation table setup code, whether to drag and drop into your own bare metal arm64 projects …☆60Updated 2 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆25Updated last year
- aarch64 bare metal test on qemu☆91Updated 9 years ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆27Updated 2 years ago
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆95Updated last year
- Standalone kconfig and kbuild☆52Updated last year
- ARM64 version of Simple UEFI Bootloader☆19Updated 5 years ago
- blog☆27Updated 5 months ago
- bare metal programming with Raspberry Pi☆28Updated 5 years ago
- Embedded Base Boot Requirements Specification☆113Updated 3 weeks ago
- ☆59Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆53Updated 3 years ago
- Clone of upstream U-Boot repo with patches for Arm development boards☆183Updated 4 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆51Updated last week
- The development version of the L4Re Microkernel☆100Updated 2 weeks ago
- KVM RISC-V HowTOs☆40Updated 2 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆50Updated 2 years ago
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆21Updated 2 years ago
- ☆44Updated last month
- Device Tree Compiler☆219Updated last month
- LeOS operating system Kernel for AArch64 written in Rust☆73Updated 4 years ago
- ☆153Updated last year
- PDFs of all the UEFI / EDK II presentations☆49Updated last year
- Flexible Virtualization Solution for Embedded System☆245Updated 7 months ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆18Updated 8 months ago
- A baremetal experiment of Allwinner D1, without FEL☆30Updated last year
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆234Updated last month