☆15Feb 3, 2024Updated 2 years ago
Alternatives and similar repositories for exokernel
Users that are interested in exokernel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- oskit code from Fluke OS project at University of Utah☆38Dec 21, 2022Updated 3 years ago
- The sprite operating system☆65Oct 5, 2015Updated 11 years ago
- amoeba operating system☆30Sep 30, 2015Updated 11 years ago
- Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.☆22Dec 2, 2015Updated 10 years ago
- ☆10Mar 16, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- FPGA based PDP-11 cpu☆19Jan 2, 2016Updated 10 years ago
- eXokernel Development Kit for Linux☆14Jan 6, 2017Updated 9 years ago
- FPGA based PDP-8/i clone in verilog. Includes several TSS/8 sources and utiltities to build from source☆26Jan 2, 2016Updated 10 years ago
- A student project from 2009 adding Radeon graphics driver support to the Plan9 kernel. Unfinished.☆10Jan 12, 2019Updated 7 years ago
- RTOS for embedded systems☆14Sep 19, 2024Updated 2 years ago
- Implementation of the core of an exokernel-style operating system☆12Dec 6, 2014Updated 11 years ago
- a Rust OS project☆10Sep 29, 2026Updated last month
- https://wiki.openjdk.org/display/jdk7u last released 2022-07-19☆18Jul 21, 2022Updated 4 years ago
- Graphical system install utility☆15Sep 10, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- https://openjdk.org/projects/jdk7 released 2011-07-28☆14Feb 16, 2021Updated 5 years ago
- Template for writing daemons in Rust☆14Sep 18, 2017Updated 9 years ago
- Linux Kernel Driver for Atmel's AT97SC3204T I2C TPM (for Beaglebone)☆17Feb 5, 2015Updated 11 years ago
- HellfireOS Realtime Operating System☆23Nov 25, 2020Updated 5 years ago
- ☆12Jan 26, 2014Updated 12 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/bootloader-efi☆18Feb 7, 2024Updated 2 years ago
- 새로운 아희 인터프리터☆14Jan 30, 2020Updated 6 years ago
- javahelp☆15Jul 19, 2017Updated 9 years ago
- Correct, optimized blending of color and alpha channels☆10Jan 30, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An exokernel for the raspberry pi 3.☆83Nov 17, 2021Updated 4 years ago
- Filesystem 'at' implementations for Unix and Windows☆13Oct 20, 2026Updated last week
- 템플릿 메타 프로그래밍을 이용한 아희 인터프리터☆22Aug 15, 2018Updated 8 years ago
- The portable clu compiler☆12Aug 7, 2022Updated 4 years ago
- Capability-based exokernel for x86_64☆22Nov 26, 2016Updated 9 years ago
- Zero-CPU-Overhead OV7725 Camera Streaming Library for RP2350. Capture images from OV7725 using DMA and PIO with zero CPU overhead. Suppor…☆12Jul 13, 2026Updated 3 months ago
- Benchmark for memory store throughput☆23Jun 22, 2021Updated 5 years ago
- Chaos experimentation for AWS Java applications☆13Feb 22, 2023Updated 3 years ago
- 만능 영타 → 한타 변환기. (Inspired by http://github.com/chalkPE/gksdud/ )☆19Dec 14, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- just another compiler compiler for Java☆27Oct 31, 2016Updated 9 years ago
- 아희와 호환성이 있는 난해한 객체지향 한글 프로그래밍 언어☆20Aug 24, 2019Updated 7 years ago
- Add CSRF protection to your Kemal application☆28Jun 25, 2025Updated last year
- x86_64 OS Reference in C and Assembly☆27Jan 26, 2024Updated 2 years ago
- MIT CADR original verilog and simulator☆15Jan 2, 2016Updated 10 years ago
- Code for book Programming for the Java Virtual Machine by Joshua Engel☆26Dec 23, 2010Updated 15 years ago
- The login buttons for oAuth services☆14Apr 10, 2022Updated 4 years ago