The main L4Re manifest to checkout the L4Re operating system.
☆21Apr 16, 2026Updated this 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.☆102Updated this week
- The device tree library☆21Updated this 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
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Fork of the ski ia64 emulator☆13May 15, 2016Updated 9 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Mar 10, 2026Updated last month
- GZX - George's ZX Spectrum Emulator☆17Mar 1, 2026Updated last month
- Qemu Etrace☆16May 21, 2024Updated last year
- Linux dotfiles☆10Mar 12, 2026Updated last month
- Ported software for HelenOS.☆21Mar 13, 2026Updated last month
- MZ-700 Original Games Project☆16Jan 3, 2026Updated 3 months ago
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 3 years ago
- Intel Itanium (ia64) Linux user target for Qemu☆33Aug 22, 2011Updated 14 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Webpage for https://github.com/floooh/v6502r☆11Mar 3, 2026Updated last month
- VS Code workspace template for app and image developers☆15Updated this week
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated 8 months ago
- Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32☆13Jan 4, 2016Updated 10 years ago
- ☆12Feb 28, 2023Updated 3 years ago
- emulator for ARM☆11Jun 14, 2019Updated 6 years ago
- AGL demo for 96Boards☆11Jan 3, 2018Updated 8 years ago
- OSF Mach and MkLinux conservation project☆31Nov 3, 2012Updated 13 years ago
- BSD-licensed CTF Implementation☆21Jul 18, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 last month
- Repository for the communication module LoLa☆44Updated this week
- A Drupal-like CMS written entirely in C++ and Qt5, targetting the Cassandra database server.☆17Aug 4, 2025Updated 8 months ago
- Example code from the book "GNU/Linux Rapid Embedded Programming" by Rodolfo Giometti - Packt Publishing☆16May 3, 2017Updated 8 years ago
- A Parallel Simulation Framework For Multicore Systems☆11May 20, 2017Updated 8 years ago
- A FUSE filesystem to interact with AWS IoT service.☆17Aug 23, 2019Updated 6 years ago
- ☆15Feb 25, 2020Updated 6 years ago
- THIS REPOSITORY IS ARCHIVED i.e. please fork the project if you wish to develop it further☆36Aug 23, 2021Updated 4 years ago
- Vehicle simultator generate sensor data over opencx specification☆12Dec 22, 2016Updated 9 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 在嵌入式软件开发当中，常常第一步就是设计整个系统的架构。有基于OS的，也有裸机的。我们先拿裸机说事儿，我想很多人在做单片机的裸机开发（甚至基于OS）时脑海里根本没有设计架构的想法，从来都是while（1）循环到底，能写点状态机已经算是基础扎实的人物了。那么问题来了，whil…☆12Nov 25, 2019Updated 6 years ago
- Lightweight media scanner☆13Aug 19, 2019Updated 6 years ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆54Mar 31, 2026Updated 2 weeks ago
- Firmware for second generation of UBC Solar's car☆11Jun 21, 2023Updated 2 years ago
- Top level of PulseRain M10 RTL design☆16Mar 20, 2018Updated 8 years ago
- ☆13Updated this week
- TPM Remote Attestation protocol using go-tpm and gRPC☆30Apr 8, 2026Updated last week