Open Source BSD Operating System Kernels

The goal of the project is now to develop a user library called libpfm4 to help setup performance events for use with the perf_events Linux kernel interface. The development of the perfmon kernel subsystem, libpfm and pfmon has now stopped.

Linux Test Project (LTP) is a joint project started by SGI, OSDL and Bull developed and maintained by SUSE, Red Hat, Fujitsu, IBM, Cisco, Oracle and others. The project goal is to deliver tests to the open source community that validate reliability, robustness, and stability of the Linux Kernel. The testing suites contain a collection of tools for testing the Linux kernel and related features. Our goal is to improve the Linux kernel and system libraries by bringing test automation.

Community driven projects featuring the latest innovations for cutting edge apps. Our flagship project JBoss AS is the leading Open Source, standards-compliant, Java EE based application server implemented in 100% Pure Java.

This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future.

The user-mode kernel port is a port of the Linux kernel which runs in a set of processes. The result is a user-mode virtual machine and a kernel which can be debugged and developed using all of the usual process-level tools.

A Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically compiled.

SkyEye is a very fast full system simulator which takes llvm as IR of dynmic compiled framework.. It can simulate series ARM, Coldfire,Mips, Powerpc, Sparc, x86, TI DSP and Blackfin DSP Processor. Also can simulate multicore system by the multicore of host. The commercial support is provided by DigiProto Co. (http://www.digiproto.com)

An easy to use Development Environment for OS developers to design, write, compile, test, and publish new or existing OS projects with ease.

JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.

kissme is a free (GPLed) Java Virtual Machine. It is being developed on GNU/Linux and can run console java applications. kissme is to be used with the GNU Classpath java class library. kissme also provides support for orthogonally persistent java.

SuperWaba is a Virtual Machine for handhelds. Runs in PalmOS, Windows CE, Win32, and is fully emulated under JDK/browser. Supports Exceptions, has a complete set of UI controls (Palm/WinCE), double and long, grayscale/color, sockets/serial/IR/Bluetooth

This project has moved to: http://vger.kernel.org/vger-lists.html#linux-kbuild Here, you can find the old mailing list, files and website regarding: Linux kernel build. Patches, documentation, and auxilary programs related to the kernel configuration

Recursive LDD (recursive-ldd) is a Perl script that allows displaying a tree-like hierarchy of shared library dependencies. The script calls on the standard Linux ldd utility in a recursion for every listed binary and library. It completes running when no matches are found in the current branch. It can also print unique values only as well as environment variables that affect the loading of libraries: LD_LIBRARY_PATH and LD_PRELOAD. Same limitations to standard ldd apply. Recursive-ldd cannot check libraries without read permissions.

Advanced platform-independant, Object-Oriented threading and synchronization library. Designed and tested under POSIX & Win32 systems. Not just another thread wrapper.

Here you can find both an Oberon V4 system for Linux (x86) and a collection of Oberon V4 sources for various other platforms. Oberon V4 was implemented at ETH Zurich for several platforms. Binaries can be found on their server[1] and on the one of the University of Linz[2] where Mössenböck's group did further development after he left ETH and the Group at ETH concentrated on System 3. More Information can be found in the wiki https://sourceforge.net/p/oberon/wiki/Home/ of this Project and on Wikipedia https://en.wikipedia.org/wiki/Oberon_(operating_system). In 2013 they were moved here for easy access and, in case of interest, collaboration on further development. The Oberon mailing list[3] is an established channel for its discussion and followed also by the administrators of this SF project. [1] ftp://ftp.ethoberon.ethz.ch/Oberon/OberonV4/ [2] ftp://oberon.ssw.uni-linz.ac.at/pub/Oberon/ [3] https://lists.inf.ethz.ch/mailman/listinfo/oberon

Repository for the Kernel and tools sources for Agenda VR3. Including Gnu/Gcc, binutils, and kernel

RPC (Remote Procedure Call) system with C language support, own network protocol, automatic parallelization, SSL support and other features.

amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard.

Provide secure and stable OS, based on highly modified Linux Kernel, own package system, like "BSD Ports". Compatible with x86, Power PC. Easy to use of any level users. Complete Documentantion in many languages. 99% compatible with Windows.

several vaguely related projects worked on by me: a 3d engine with a javascript-like scripting language (pdsys); an older scheme dialect (vmsys); ... (2009-04-28: I have been gone for years, may try to put up some newer stuff...).

Source level debugging for linux kernel. Allows debugging of linux kernel using gdb over a serial line

Graphical OS Kernel compiled with gcc 4.6.1 and nasm 2.09.08

FreeWPC is a software framework for writing new software for 1990's Bally/Williams pinball machines. The framework allows you to build your own ROM images, define your own game rules, incorporate dot matrix animations, design lamp shows, and so on.

DefconfigManager is too to generate consistent Linux Kernel defconfig for different architectures and machines. It is based Kconfiglib, Python library to parse Kconfig's and defconfigs.

This project contains software for 'personalizing' the NSLU2 network storage device, manufactured by Linksys. None of this material was written or contributed by Linksys. The NSLU2 is run by embedded Linux, and as such, is perfect for 'personalization