The Quest Operating System
☆49Dec 4, 2024Updated last year
Alternatives and similar repositories for quest
Users that are interested in quest are comparing it to the libraries listed below
Sorting:
- ☆21Aug 7, 2015Updated 10 years ago
- ☆16Sep 21, 2019Updated 6 years ago
- Cosmoe, Haiku userland on top of Linux/BSD/Darwin based kernel/system.☆22Nov 10, 2014Updated 11 years ago
- FreeRTOS Multicore for the Cortex-M3(Ducati) on Pandaboard☆23May 13, 2013Updated 12 years ago
- A self-healing FreeRTOS based on ARM TrustZone☆17May 11, 2024Updated last year
- Bootloader exploration☆20Feb 22, 2022Updated 4 years ago
- Understanding the Linux 2.6.8.1 CPU Scheduler☆18Apr 24, 2015Updated 10 years ago
- An Advanced Open-Source, Miniaturized FPGA UAS Platform with Dual DVS/Frame Camera for Cutting-Edge Low-Latency Autonomous Algorithms☆16Oct 11, 2024Updated last year
- Unofficial port of TNKernel RTOS for RX mcu☆14Jan 20, 2013Updated 13 years ago
- BU-maintained version of the Jailhouse partitioning hypervisor with real-time features☆16Feb 28, 2021Updated 5 years ago
- ☆12Apr 21, 2021Updated 4 years ago
- A slimmed down gentoo linux livecd/liveusb iso that allows to load different boot options and runs from RAM upon boot. A VCTLabs project.☆11Feb 18, 2020Updated 6 years ago
- Various extensions for midori☆11Dec 26, 2020Updated 5 years ago
- HOL Guidebook☆12Oct 11, 2024Updated last year
- Xen hypercall and interfaces in Rust☆16Jan 14, 2025Updated last year
- Source of the "Pony for X" intro to Pony series☆14Oct 4, 2016Updated 9 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- A plugin for JetBrains' IntelliJ IDE supporting the Leiningen build system.☆19Oct 20, 2013Updated 12 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 2, 2024Updated last year
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated last year
- ☆46Sep 30, 2020Updated 5 years ago
- Java Library for Generating x86 Code☆12Sep 30, 2019Updated 6 years ago
- OCaml bindings for clang☆23May 1, 2018Updated 7 years ago
- Fused: Full-System Simulation of Energy-Driven Computers☆17Apr 14, 2022Updated 3 years ago
- ☆11Jun 11, 2019Updated 6 years ago
- ☆11Jan 8, 2020Updated 6 years ago
- A wrapper around Python's ctypes for Nim-specific function signatures.☆12Dec 12, 2017Updated 8 years ago
- ☆13Feb 15, 2019Updated 7 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆11Jun 28, 2024Updated last year
- A GNOME Shell extension that forces all application windows to use the dark GTK theme variant.☆10Jun 12, 2015Updated 10 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆51Aug 3, 2020Updated 5 years ago
- Benchmark suite for real-time behavior, including interrupt latency and context switching times☆15Oct 20, 2021Updated 4 years ago
- Intel BSP layer☆21Updated this week
- Experiment with github actions on a Nim project☆10Apr 23, 2020Updated 5 years ago
- String obfuscator based on the Mealy automata☆13Sep 16, 2017Updated 8 years ago
- Unofficial binary package repository for KISS Linux☆11Jun 3, 2022Updated 3 years ago
- Chromecast for Dart☆10Apr 27, 2015Updated 10 years ago
- Windows 2000 Source Code☆12Aug 3, 2024Updated last year
- Virtio in userspace☆12Nov 8, 2011Updated 14 years ago