- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
The Genode OS Framework provides a uniform API for applications on top of 9 existing microkernels/hypervisors: NOVA, Fiasco.OC, seL4, Linux, L4ka::Pistachio, L4/Fiasco, OKL4, Codezero, and a custom kernel for bare-metal execution.110 weekly downloads
A native, dual-bootable ubuntu for the HTC™ HD2 Phone (qsd8250 SoC)6 weekly downloads
The definitive DASH7 firmware project2 weekly downloads
LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.4 weekly downloads
Development area for GNU/Linux 2.6.x for the KS8695 ARM SoC. Covers kernel patches, drivers for serial, Ethernet, PCI, GPIO, watchdog subsystems, and drivers for optional PCI based devices such as USB, WiFi, WiMAX, IPSec, SSL, and RSA devices.2 weekly downloads
A Development Framework for Coldfire
The Staples Data Population & Migration Administrator is an application for the SuperWikia programming language which auto-builds critical infrastructure for cloned patches and provides backend server capability for smaller projects.
Tynix is a real-time kernel for embedded systems with reduced memory availability (without external memory). The project intends to be very small, portable for a large amount of platforms and easily configurable.