The main L4Re manifest to checkout the L4Re operating system.
☆21Jul 31, 2026Updated 2 weeks ago
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☆36Jul 31, 2026Updated 2 weeks ago
- The development version of the L4Re Microkernel☆166Jul 31, 2026Updated 2 weeks ago
- The device tree library☆22Jul 31, 2026Updated 2 weeks ago
- Rocket Chip Generator☆13Jul 31, 2021Updated 5 years ago
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tesla IOT Key☆11Dec 5, 2018Updated 7 years ago
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 6 years ago
- PFE Ethernet accelerator☆13Aug 6, 2026Updated last week
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆42Aug 6, 2026Updated last week
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆18Jul 8, 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
- Automotive S32 U-Boot☆10Aug 6, 2026Updated last week
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- This is my GitHub profile☆11Updated this week
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated last year
- An example repository demonstrating Bazel cc_binary and cc_library build targets.☆11Mar 3, 2016Updated 10 years ago
- My personal site. Contains my blog and other useful sections☆14Updated this week
- ☆29Feb 28, 2016Updated 10 years ago
- My blog — https://twilco.github.io☆13Apr 26, 2026Updated 3 months ago
- emulator for ARM☆11Jun 14, 2019Updated 7 years ago
- ☆22May 19, 2026Updated 2 months ago
- play with algoritms☆17Oct 4, 2019Updated 6 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- TensorFlow Lite classification on a bare Raspberry Pi 4 with 64-bit OS at 23 FPS☆12Dec 27, 2021Updated 4 years ago
- Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32☆13Jan 4, 2016Updated 10 years ago
- Validation test suite for CMSIS-RTOS2 API implementations using Arm Virtual Hardware (AVH).☆19Updated this week
- AGL demo for 96Boards☆11Jan 3, 2018Updated 8 years ago
- BSD-licensed CTF Implementation☆22Jul 18, 2015Updated 11 years ago
- A guide to get you started with Windows Kernel Debugging walking you through the complete setup and usage of WinDbg to trace Windows proc…☆27Nov 26, 2025Updated 8 months ago
- Multi-Paradigm Programming with Modern C++, published by Packt☆25Jan 30, 2023Updated 3 years ago
- ☆13Jul 31, 2026Updated 2 weeks 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 8 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.
- A Drupal-like CMS written entirely in C++ and Qt5, targetting the Cassandra database server.☆17Aug 4, 2025Updated last year
- Example code from the book "GNU/Linux Rapid Embedded Programming" by Rodolfo Giometti - Packt Publishing☆16May 3, 2017Updated 9 years ago
- Community site for microkernel projects.☆34Jul 16, 2026Updated last month
- A Parallel Simulation Framework For Multicore Systems☆10May 20, 2017Updated 9 years ago
- C++ Standard Template Library in Practice, published by [Packt]☆24Jan 30, 2023Updated 3 years ago
- 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 5 months ago
- 在嵌入式软件开发当中，常常第一步就是设计整个系统的架构。有基于OS的，也有裸机的。我们先拿裸机说事儿，我想很多人在做单片机的裸机开发（甚至基于OS）时脑海里根本没有设计架构的想法，从来都是while（1）循环到底，能写点状态机已经算是基础扎实的人物了。那么问题来了，whil…☆13Nov 25, 2019Updated 6 years ago