The main L4Re manifest to checkout the L4Re operating system.
☆21May 21, 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:
- The core components of the L4Re operating system.☆103May 21, 2026Updated last week
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream …☆17Nov 14, 2023Updated 2 years ago
- Rocket Chip Generator☆13Jul 31, 2021Updated 4 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 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.
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 6 months ago
- ☆10Apr 1, 2020Updated 6 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Apr 27, 2026Updated last month
- Qemu Etrace☆17May 21, 2024Updated 2 years ago
- Detailed examples demonstrating cross-platform building with Bazel☆11Dec 1, 2017Updated 8 years ago
- Linux dotfiles☆10May 6, 2026Updated 3 weeks ago
- Automotive S32 U-Boot☆10May 18, 2026Updated last week
- Monocerus emulator framework☆11Mar 28, 2019Updated 7 years ago
- MZ-700 Original Games Project☆16Jan 3, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 3 years ago
- Webpage for https://github.com/floooh/v6502r☆11Mar 3, 2026Updated 2 months ago
- VS Code workspace template for app and image developers☆15May 21, 2026Updated last week
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated 10 months ago
- An example repository demonstrating Bazel cc_binary and cc_library build targets.☆11Mar 3, 2016Updated 10 years ago
- Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32☆13Jan 4, 2016Updated 10 years ago
- ☆12Feb 28, 2023Updated 3 years ago
- usbboot for the Ingenic X2000E used by the Creality K1 (Max)☆20Feb 8, 2024Updated 2 years ago
- Aquarius MX - USB-enabled Expansion Module with 32kb RAM, Real-Time Clock, and 6 Voice Sound☆21Feb 10, 2024Updated 2 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.
- emulator for ARM☆11Jun 14, 2019Updated 6 years ago
- AGL demo for 96Boards☆11Jan 3, 2018Updated 8 years ago
- An android app used for inventory by scanning RFID card from phone which has a NFC reader.☆11Jul 4, 2017Updated 8 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆311Dec 2, 2019Updated 6 years ago
- Multi-Paradigm Programming with Modern C++, published by Packt☆25Jan 30, 2023Updated 3 years ago
- play with algoritms☆17Oct 4, 2019Updated 6 years ago
- ☆10Jul 30, 2020Updated 5 years ago
- Tesla CAN bus messages and signals for 3, Y, S and X☆19Sep 10, 2023Updated 2 years ago
- SystemC-WMS (Wave Mixed Signal Simulator) is a class library that extends the standard SystemC kernel to allow modeling and simulation of…☆11Jul 19, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 3 months ago
- Repository for the communication module LoLa☆46May 22, 2026Updated last week
- A Drupal-like CMS written entirely in C++ and Qt5, targetting the Cassandra database server.☆17Aug 4, 2025Updated 9 months ago
- Community site for microkernel projects.☆30Dec 30, 2025Updated 4 months ago
- Example code from the book "GNU/Linux Rapid Embedded Programming" by Rodolfo Giometti - Packt Publishing☆16May 3, 2017Updated 9 years ago
- A Parallel Simulation Framework For Multicore Systems☆11May 20, 2017Updated 9 years ago
- C++ Standard Template Library in Practice, published by [Packt]☆24Jan 30, 2023Updated 3 years ago