Select a tag to browse associated projects and drill deeper into the tag cloud.
Pistachio
P
No analysis available
L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently
Mostly written in language not available
Licenses:
BSD-3-Clause
Machinery
Analyzed about 5 hours ago
Toolchain machinery for compilers, code generators, assemblers, linkers, and emulators.
Licenses:
Public_do..., unlicense
OpenBricks
Analyzed about 6 hours ago
OpenBricks is an enterprise-grade embedded Linux framework that provides easy creation of custom distributions for industrial embedded devices. It features a complete embedded development kit for rapid deployment on x86, ARM, PowerPC and MIPS systems with support for industry leaders. Pick your
olibc
O
Analyzed about 17 hours ago
olibc is derived from bionic libc used in Android, which was initially derived from NetBSD libc. The development goal of olibc is expected to merge the enhancements done by several SoC vendors and partners, such as Qualcomm, Texas Instruments, Linaro, etc., which is known to be the major difference
Licenses:
bsd_ish
QtMips
Q
Analyzed about 4 hours ago
MIPS CPU emulator for education with cache and pipeline visualization
yasux
Y
No analysis available
Yasux ("Yet another simple UNIX") is yet another simple UNIX written from scratch. Its aim is to be a Single UNIX Specification compliant operating system being simple, small in its size and having a source which is easy to understand. This is not achieved by keeping features away, but by letting
Mostly written in language not available
Licenses:
BSD-3-Clause
Radix.pro
No analysis available
Radix.pro™ – is a cross-platform development environment for distributors of operating systems or embedded systems developers. Own build system allows to create applications for target devices with various architecture, starting from micro controllers and finishing by general-purpose servers.
Mostly written in language not available
Licenses:
apache_2