[WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C
☆16Apr 25, 2021Updated 5 years ago
Alternatives and similar repositories for xv6-armv8
Users that are interested in xv6-armv8 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- xv6 port to aarch64 virt board☆30Oct 22, 2023Updated 2 years ago
- Based on ARMv8, mainly referring to xv6 and Linux kernel☆10Aug 1, 2022Updated 3 years ago
- rewrite subset of linux 2.6 by OOP, C++ advanced topics☆10Jul 22, 2021Updated 5 years ago
- ☆21Dec 14, 2019Updated 6 years ago
- Workpace to build and debug C programs with the bebbo amiga-gcc build tools☆12Oct 22, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A false sharing detection and repair tool☆14Jan 31, 2026Updated 5 months ago
- A Micro Kernel Operating System☆12Nov 23, 2019Updated 6 years ago
- ☆10Dec 30, 2020Updated 5 years ago
- ZBTree A Hotness-Aware B+-Tree for Persistent Memory☆17May 4, 2024Updated 2 years ago
- Task-based framework for automatic synchronization and memory prefetching.☆17Dec 3, 2021Updated 4 years ago
- Tiny and portable device tree parser, written in C.☆22Jan 27, 2025Updated last year
- Clone of JSAI static analysis framework☆12Jul 29, 2017Updated 9 years ago
- This is an xv6 port to Raspberry Pi☆45Oct 4, 2017Updated 8 years ago
- ARM裸机编程☆13Feb 1, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A virtio layer for xv6☆12Apr 16, 2019Updated 7 years ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆13Mar 5, 2024Updated 2 years ago
- A Symmetric Multiprocessing OS Kernel over RISC-V☆32Jun 3, 2022Updated 4 years ago
- Say "hello world" to mps2-an505 with cortex-m33 in QEMU☆21Apr 18, 2018Updated 8 years ago
- 《汇编语言一发入魂》配套代码☆15May 30, 2020Updated 6 years ago
- Experiments on the self-hosting c4 compiler, with the goal to implement a nicer Lisp-style virtual machine☆15Mar 3, 2020Updated 6 years ago
- A teaching operating system on raspberry pi 3/4 ported from xv6☆17Feb 25, 2022Updated 4 years ago
- Montage is a system for building fast buffered persistent data structures on nonvolatile memory.☆16Jun 9, 2022Updated 4 years ago
- ☆19Sep 5, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆80Jul 7, 2022Updated 4 years ago
- HTC U11 kernel.☆13May 16, 2021Updated 5 years ago
- A Secure Version of DATAVIEW using SGX techniques.☆10Jul 6, 2021Updated 5 years ago
- A Fast and Cost-Efficient Hashing Index Scheme for Cloud Storage Systems☆19Jul 9, 2017Updated 9 years ago
- DeviceIO是一个驱动框架，用于封装嵌入式HAL驱动，为上层应用提供服务。☆10Jun 1, 2024Updated 2 years ago
- TLMu - Transaction Level eMulator☆35Nov 27, 2014Updated 11 years ago
- iperf3 for Android, built from source with Android Studio. This project contains gradle.build script to build libiperf.so and minimal And…☆15Sep 16, 2021Updated 4 years ago
- hypercraft is a VMM library written in Rust.☆53Oct 20, 2024Updated last year
- OS2022-Proj95☆11Jun 5, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A simple OoO processor developed by njuallen and wierton, it won 2nd prize in LoongsonCup18.☆31Feb 10, 2020Updated 6 years ago
- 从fuchsia官方目录中分离出来的zircon代码☆55Dec 26, 2019Updated 6 years ago
- Low level access to RISCV processors☆22Oct 3, 2022Updated 3 years ago
- ☆18Oct 9, 2023Updated 2 years ago
- A curated list of awesome kernel resources.☆13May 6, 2017Updated 9 years ago
- A microkernel for ESP32 targeting TTGO T-Watch-2020-V2☆16Aug 20, 2022Updated 3 years ago
- Data-centric defense mechanism against Spectre attacks. (DAC'19)☆11Nov 6, 2019Updated 6 years ago