The main L4Re manifest to checkout the L4Re operating system.
☆21Oct 9, 2026Updated last week
Alternatives and similar repositories for manifest
Users that are interested in manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Virtual machine monitor for L4Re☆36Oct 9, 2026Updated last week
- The core components of the L4Re operating system.☆105Oct 9, 2026Updated last week
- The device tree library☆22Oct 9, 2026Updated last week
- Rocket Chip Generator☆13Jul 31, 2021Updated 5 years ago
- PFE Ethernet accelerator☆13Sep 15, 2026Updated last month
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆10Apr 1, 2020Updated 6 years ago
- BSD-licensed CTF Implementation☆22Jul 18, 2015Updated 11 years ago
- NOTE: This repository is deprecated -- meta-genivi-dev can now be found inside of the genivi-dev-platform.git repository☆11Feb 7, 2018Updated 8 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆20Sep 22, 2026Updated 3 weeks ago
- Qemu Etrace☆19May 21, 2024Updated 2 years ago
- GZX - George's ZX Spectrum Emulator☆17Jun 9, 2026Updated 4 months ago
- C11标准的原子操作详解☆28Oct 8, 2022Updated 4 years ago
- Linux dotfiles☆10Oct 8, 2026Updated last week
- WinDbg cheat sheet☆17May 10, 2023Updated 3 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.
- Webpage for https://github.com/floooh/v6502r☆11Sep 12, 2026Updated last month
- emulator for ARM☆11Jun 14, 2019Updated 7 years ago
- ☆22May 19, 2026Updated 4 months ago
- Tiny implementation of SLIP protocol (Serial line IP)☆21Nov 13, 2020Updated 5 years ago
- ☆29Feb 28, 2016Updated 10 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆309Dec 2, 2019Updated 6 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆26Jan 5, 2018Updated 8 years ago
- Perl library and utilities for manipulating BBC MMB and SSD files☆25Jan 6, 2025Updated last year
- A Drupal-like CMS written entirely in C++ and Qt5, targetting the Cassandra database server.☆17Aug 4, 2025Updated last year
- 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.
- THIS REPOSITORY IS ARCHIVED i.e. please fork the project if you wish to develop it further☆36Aug 23, 2021Updated 5 years ago
- 在嵌入式软件开发当中，常常第一步就是设计整个系统的架构。有基于OS的，也有裸机的。我们先拿裸机说事儿，我想很多人在做单片机的裸机开发（甚至基于OS）时脑海里根本没有设计架构的想法，从来都是while（1）循环到底，能写点状态机已经算是基础扎实的人物了。那么问题来了，whil…☆12Nov 25, 2019Updated 6 years ago
- a nostr book written in persian.☆13May 16, 2025Updated last year
- A Parallel Simulation Framework For Multicore Systems☆11May 20, 2017Updated 9 years ago
- ☆11Jan 3, 2022Updated 4 years ago
- Cross-platform Packet Capture which supports Linux and macOS(BSD) in 1000 LOC without depending on libpcap.☆28Jun 25, 2019Updated 7 years ago
- Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32☆13Jan 4, 2016Updated 10 years ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆57Sep 17, 2026Updated last month
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 7 months 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.
- This is the source of the seL4 docs.☆19Updated this week
- Dataset for "Human Being Detection from UWB NLOS Signals: Accuracy and Generality of Advanced Machine Learning Models"☆11Feb 20, 2022Updated 4 years ago
- GPIB to USB converter☆11Jan 3, 2014Updated 12 years ago
- Advanced Operating Systems project manifest☆16Sep 6, 2025Updated last year
- SystemC to Verilog Synthesizable Subset Translator☆12May 12, 2023Updated 3 years ago
- code to be able to use multiple esp32 to simulatnaiously scan for wifi networks across multiple other esp32☆20Apr 5, 2024Updated 2 years ago
- A basic PCB layout for the Raspberry Pi Compute Module 3 in Eagle.☆15Sep 25, 2018Updated 8 years ago