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
LatencyTOP
L
No analysis available
Skipping audio, slower servers, everyone knows the symptoms of latency. But to know what's going on in the system, what's causing the latency, how to fix it... that's a hard question without good answers right now.
LatencyTOP is a Linux* tool for software developers (both kernel and userspace)
Mostly written in language not available
Licenses:
No declared licenses
linux-ec2 (Arch Linux)
Analyzed about 6 hours ago
The Linux Kernel and modules with Xen guest support suitable for Amazon EC2.
Licenses:
Public_Do...
Muen Separation Kernel
Analyzed 1 day ago
Muen is a Separation Kernel implemented in the SPARK programming language. It runs on the Intel x86/64 architecture employing hardware-assisted virtualization (VT-x and VT-d) as the fundamental separation mechanism. The goal of the Muen project is the development of a trustworthy open-source
pmbsd
No analysis available
The Pigeon Mouette BSD project provides a FREE, multi-platform BSD UNIX-like operating system.
PmBSD is 'what we think a BSD is' and was totally written from scratch. The only sources stolen by this project were stolen from OpenBSD and are a part of this website and the file sys/queue.h.
Mostly written in language not available
Licenses:
bsd
Free Electrons training materials
No analysis available
Free training materials covering the below topics:
- Embedded Linux system development
- Embedded Linux kernel and driver development
- Android system development
- Embedded Linux boot time reduction
Mostly written in language not available
Licenses:
ccbysa3-0