Open Source Linux Operating System Kernels

Browse free open source Operating System Kernels and projects for Linux below. Use the toggles on the left to filter open source Operating System Kernels by OS, license, language, programming language, and project status.

  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • Red Hat Enterprise Linux on Microsoft Azure Icon
    Red Hat Enterprise Linux on Microsoft Azure

    Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

    Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
    Learn More
  • 1
    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.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 2
    colorForth
    colorForth is, in Chuck Moore's own words: "A dialect of Forth that uses color to replace punctuation. Includes its own operating system. Produces extremely compact programs. Instant compile from pre-parsed source."
    Leader badge
    Downloads: 9 This Week
    Last Update:
    See Project
  • 3

    amforth: Interpreter on Microcontrollers

    amforth is an extendible interpreter on microcontrollers

    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.
    Downloads: 13 This Week
    Last Update:
    See Project
  • 4
    Open source support for patent-free MIPS clones
    Downloads: 1 This Week
    Last Update:
    See Project
  • Sales CRM and Pipeline Management Software | Pipedrive Icon
    Sales CRM and Pipeline Management Software | Pipedrive

    The easy and effective CRM for closing deals

    Pipedrive’s simple interface empowers salespeople to streamline workflows and unite sales tasks in one workspace. Unlock instant sales insights with Pipedrive’s visual sales pipeline and fine-tune your strategy with robust reporting features and a personalized AI Sales Assistant.
    Try it for free
  • 5
    fast single-privilege single-address-space preemptive-multithreading persistent data-centric secure multiuser operating system with safe-language and reconfigurable graphical interface
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    RPC (Remote Procedure Call) system with C language support, own network protocol, automatic parallelization, SSL support and other features.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    A system for supporting embedded Linux platforms. This includes building cross compilers and cross compiling packages that make up the embedded distribution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    This project aims to develop a Lisp based operating system for general purpose computer architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • No-Nonsense Code-to-Cloud Security for Devs | Aikido Icon
    No-Nonsense Code-to-Cloud Security for Devs | Aikido

    Connect your GitHub, GitLab, Bitbucket, or Azure DevOps account to start scanning your repos for free.

    Aikido provides a unified security platform for developers, combining 12 powerful scans like SAST, DAST, and CSPM. AI-driven AutoFix and AutoTriage streamline vulnerability management, while runtime protection blocks attacks.
    Start for Free
  • 10
    MEDDAC is the seeding point for designing a new approach to Operating System design itself. It is an Open Source project with roots in mainframe design and development the author began in 1979. Monitor Editor Disassembler Decompiler Assembler Compiler
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12

    Oberon V4

    Oberon V4 for Linux and sources for different Oberon V4 implementation

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    A microkernel operating system distribution offering (among other things) very low hardware requirements, full and easy portability and easy-readable source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    - Plattform: amd64 and nvidia GeForce with shaders - Goal: Assembler with object-orientated paradigma with the ability of massive parallel calculation - Has its own bootloader and its own rudimentary os with a ncurse like editor
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Resources for the PePLink MANGA. This device with Linux embedded was marketed by PePLink (typically for Wifi and VoIP) until they withdrew it in early 2006. This project hosts the SDK, Debian image and other resources of interest to owners of this device.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Project Sparroh
    Project-Sparroh is a hobby operating system project. Goal is to write an OS from scratch for the purposes of learning how they work and for fun. An assembler and high level language cross-compiler will also be written first and used to build the OS.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    16 bit Forth for PC. No OS required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    This project will create an SELinux policy infrastructure. This infrastructure will provide fine-grained policy access control, enhanced support for user-space object managers, and ease policy management and distribution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    This project aims to do for MULTICS what Linux and GNU have done for UNIX - that is, to produce a totally free, totally unencumbered, and totally compliant OS that learns from prior work, rather than copies it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Silis OS is a online based operating system which will allow users to access their files and programs from any where in the world.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22

    The ASCII Project

    An ASCII MMORPG / World Simulation / Genetic Programming Project

    This project was previously oriented towards creating an AI based Operating System. However new visitors should refer to www.theasciiproject.com for information about what this project has developed into.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Zeta is the name of a project to create a virtual platform to port linux to.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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...).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.