Open Source Operating System Kernels

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

  • Auth for GenAI | Auth0 Icon
    Auth for GenAI | Auth0

    Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

    Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
    Try free now
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
    Try it Free
  • 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: 10 This Week
    Last Update:
    See Project
  • 2
    DOS/32 Advanced DOS Extender is a drop-in replacement for the DOS/4GW DOS Extender and compatibles. Being fast, small and flexible DOS/32A can be used in many environments, from embedded systems to DOS emulators, by both developers and end users alike.
    Leader badge
    Downloads: 20 This Week
    Last Update:
    See Project
  • 3
    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: 8 This Week
    Last Update:
    See Project
  • 4

    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: 5 This Week
    Last Update:
    See Project
  • Gen AI apps are built with MongoDB Atlas Icon
    Gen AI apps are built with MongoDB Atlas

    Build gen AI apps with an all-in-one modern database: MongoDB Atlas

    MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
    Start Free
  • 5
    TempleOS

    TempleOS

    64-BIt Operating System with Compiler

    TempleOS is a 64-bit kernel with compiler, graphics library and tools. It is not a Unix. It was made from scratch.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 6
    fast single-privilege single-address-space preemptive-multithreading persistent data-centric secure multiuser operating system with safe-language and reconfigurable graphical interface
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7
    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: 1 This Week
    Last Update:
    See Project
  • 8
    Embeddedable Forth compiler is a Forth system for 32 bit devices with no OS. I am currently using it with ADUC7026 board. Also tested on STM32. Win32 version is is used for testing.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    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: 1 This Week
    Last Update:
    See Project
  • Build Securely on AWS with Proven Frameworks Icon
    Build Securely on AWS with Proven Frameworks

    Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

    Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
    Download Now
  • 10
    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
  • 11
    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
  • 12
    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
  • 13
    IMA2 Simple command-line editor of binary files (images, object filers, byte code, etc). More sofisticated that F4 option in FAR. More simple that GUI hex editors. Can be useed as command-line utility in scripts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    This project aims to develop a Lisp based operating system for general purpose computer architectures.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    LoseThos, a free, 64-bit, multicore, PC operating system designed from scratch -- not a Unix. No bloat. Boots in 2 seconds. Comes with games, C compiler, tools and lots of demos of the API! Test-drive or install -- it is a live CD.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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
  • 17
    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
  • 18
    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
  • 19
    - 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
  • 20
    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
  • 21
    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
  • 22
    16 bit Forth for PC. No OS required.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    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
  • 24
    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
  • 25
    OS based on Agent based Security with a new type of split kernel and agents platform.
    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.