Open Source C Operating System Kernels for Linux - Page 11
Sort By:
C Operating System Kernels for Linux
View 1294 business solutionsBrowse free open source C Operating System Kernels for Linux and projects below. Use the toggles on the left to filter open source C Operating System Kernels for Linux by OS, license, language, programming language, and project status.
-
ConnectWise SIEM (formerly Perch) offers threat detection and response backed by an in-house Security Operations Center (SOC). Defend against business email compromise, account takeovers, and see beyond your network traffic. Our team of threat analysts does all the tedium for you, eliminating the noise and sending only identified and verified treats to action on. Built with multi-tenancy, ConnectWise SIEM helps you keep clients safe with the best threat intel on the market.
-
Our intuitive email marketing software to help you save time and build lasting relationships with your subscribers.
-
1
This is a project to implement a Ip-Over-SCSI Linux kernel driver to be used in beowulfs type computers. The intent is to substitute more expensive myranet boards.
-
2
-
3
Ivmuk-OS is small RTOS for microcontrollers with low resources. Microchip's PIC16F877A MCU uses about 70 bytes of RAM and 800 bytes Flash. Memory usage depends on number of tasks and messages defined. This should create competition to Salvo OS some day.
-
4
JSPowerLin - Linux with a Java edge, a lightweight platform for developing and deploying J2EE applications and Java Server Pages on a server or servercluster.
-
Paligo is an end-to-end Component Content Management System (CCMS) solution for technical documentation, policies and procedures, knowledge management, and more.
-
5
Javum, the Java Virtual Unix Machine, is an ambitious project which aims to provide a full virtualized Unix environment including C compiler (GCC), Unix-like API, shell, and command line tools, inside of a JVM. Details @ http://javum.wiki.sourceforge.net
-
6
KFDI bridges file systems and databases over the Linux VFS layer. Taking advantage of relational database technology and XML, data can be managed and searched based on properties. KFDI also introduces some object-oriented concepts into file organization.
-
7
KIOIK means KIOIK Is ORB In Kernel.It put ORBit2 into Linux Kernel. This Project is inspired by KORBit Project,Which has be discontinued. The Last Intent of KIOIK is be a fundmental Platform for cluster computing.
-
8
KISS is a kernel-side host-oriented security tool, which may bring you file integrity checking, file and process hiding and actions handling on special internal events (using a tiny scripting language).
-
9
KernCob is a project geared towards creating a stable Linux-2.4 kernel for the Sun Cobalt (formally Cobalt Networks) Generation III and Generation V Intel based server appliances. It is available in .patch form for your Sun Cobalt Appliance.
-
Comply with ISO, FDA, and GxP regulations and be audit-ready with our cloud-based quality management system.
-
10
A generic facility that provides a mechanism for kernel events to be communicated to user space applications, both passively (to know when things happen) and actively (to control access to certain system resources).
-
11
-
12
The Kernel RPM project provides binary RPM packages as well as .spec files and accompanying patches for rolling your own kernel.
-
13
Kernel Symbol Manipulator is a tool which allow to work around linux kernel and modules symbol mismatch.
-
14
Kestrel
Kestrel is an experimental kernel runs on i386
Kestrel is a kernel that not Unix or Windows. -
15
A graphics rich, desktop-enhanced GNU/Linux distribution for newbies and casual users focusing on ease of use.
-
16
The L4/Alpha port of the L4 microkernel, currently supports the entire range of Alpha 64-bit processors including the 21064, 21164 and 21264. Multiprocessor support exists for 21264. L4/Alpha is distributed under the GPL.
-
17
The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
-
18
LMSFM Linux
Musician-oriented Linux distro
Let's Make Some F*&^in' Music is a USB-based live Linux distro based on Slackware with the intent of providing a comprehensive music recording and production studio using only FOSS. -
19
-
20
LifoBot is a simple robot built from scratch using a Gumstix embedded system. It is controlled via bluetooth and is able to move exploiting two engines. This is a didactic project designed for people wanting to learn something new.
-
21
Lightweight ext4 filesystem library
ext2/3/4 library for microcontrollers
Code is also available on github: https://github.com/gkostka/lwext4 Feel free to contact me: kostka.grzegorz@gmail.com -
22
The goal of the project is to create an OS for archos device (Jbmm, Av and Gmini series). We are now working on our own kernel on: www.archopen.org. This kernel can be used as a lib to create seperate apps. It also has a gui that is able to launch elf li
-
23
Linice - Linux kernel debugger
Linux source-level kernel debugger
Linice is a source-level kernel debugger for x86 systems with the look and feel of SoftIce for MS Windows. Break into a running kernel, use breakpoints, single step on modules, kernel, or user programs. Outputs to VGA, MDA, X Window, serial terminal. ------------ Yes, this is ancient and don't expect it to work any more. -
24
The Linux abi is a patch to the linux kernel that allows a linux system to run foreign binaries. For further details please see the project homepage.
-
25
Compressed caching is a new level in the virtual memory hierarchy, where pages are stored in some compressed format, decreasing the number of page faults that are serviced by slow hard disks. We aim to implement this idea in the Linux Kernel.