Tool for automatically generating MMU and translation table setup code, whether to drag and drop into your own bare metal arm64 projects or to assist you in your own learning.
☆81Feb 17, 2022Updated 4 years ago
Alternatives and similar repositories for arm64-pgtable-tool
Users that are interested in arm64-pgtable-tool are comparing it to the libraries listed below
Sorting:
- Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.☆34Apr 26, 2021Updated 4 years ago
- A set of tools to work with Gameboy stuff☆13Dec 4, 2022Updated 3 years ago
- ☆22May 25, 2025Updated 9 months ago
- A bootloader and experimentation playground for Apple Silicon. Modified to boot XNU/macOS kernels.☆19Dec 25, 2021Updated 4 years ago
- some research results of sep☆20Apr 9, 2021Updated 4 years ago
- ☆114Feb 28, 2019Updated 7 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- Unicorn Engine based running of SecureROM☆11Sep 13, 2022Updated 3 years ago
- Golang bindings for the Binary Ninja Arm64 Disassembler.☆14Nov 24, 2025Updated 3 months ago
- HTTP combinators for MirageOS☆11Oct 11, 2019Updated 6 years ago
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- A standalone Java Decompiler GUI☆14Nov 14, 2021Updated 4 years ago
- A small library for convenient printf debugging and function tracing☆26Sep 25, 2022Updated 3 years ago
- system-register-tools: The tools are aiming to access the system registers for ARM platform.☆30Sep 6, 2023Updated 2 years ago
- ☆17Jun 16, 2025Updated 8 months ago
- ☆12May 21, 2020Updated 5 years ago
- Barebones Raspberry Pi programming in C☆14Apr 6, 2019Updated 6 years ago
- Slides and resources for talks I've given☆15Feb 20, 2026Updated 2 weeks ago
- MirageOS unikernel to test networking☆16Apr 3, 2023Updated 2 years ago
- ☆17Mar 2, 2026Updated last week
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated 10 months ago
- Modern C++, range-based Mach-O parser designed for embedded use. Uses stack allocations only.☆34Oct 31, 2022Updated 3 years ago
- Small binja plugin to import header file to types☆18Nov 11, 2022Updated 3 years ago
- ☆17May 19, 2022Updated 3 years ago
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Feb 6, 2025Updated last year
- Auditively feel the work of the runtime☆33Mar 1, 2024Updated 2 years ago
- A utility for decoding aarch64 ESR register values.☆109Updated this week
- A little project exploring Forests in Northern Ireland☆16Apr 21, 2022Updated 3 years ago
- Try OCaml Effects and Eio in your browser☆20Feb 8, 2023Updated 3 years ago
- Tools to measure an app's App Sandbox usage☆26May 20, 2020Updated 5 years ago
- WebKit/JSC CodeQL Databases☆17Dec 15, 2025Updated 2 months ago
- Composable concurrency primitives with OCaml effects handlers (unreleased)☆44Oct 6, 2024Updated last year
- Memtrace library for MirageOS☆17Feb 17, 2025Updated last year
- Ocaml modular spam filter☆16Sep 16, 2024Updated last year
- ☆20May 24, 2021Updated 4 years ago
- Extracts iOS 14+ root filesystem images in BVXN format☆15Jul 6, 2020Updated 5 years ago
- ☆17Jul 9, 2014Updated 11 years ago
- Solo5 core platform libraries for MirageOS☆19Oct 2, 2025Updated 5 months ago
- A program launcher for Wayland☆16Jan 15, 2024Updated 2 years ago