Open Source Ada Operating System Kernels

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

  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Build Securely on Azure with Proven Frameworks Icon
    Build Securely on Azure 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
  • 1
    The ARM-Ada project provide ravenscar runtime system and some useful libraries for deeply embedded applications written in gcc ada (gnat) language. For now RTS port for lpc21xx is done.
    Downloads: 4 This Week
    Last Update:
    See Project
  • 2
    The objectives of OCERA is the design and implementation of a library of free software components for the design of embedded real-time systems. These components will be used to create flexible, configurable, robust and portable embedded applications.
    Leader badge
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    Parallel Port Eprom Programmer contains a GNU/Linux driver that controls the eprom programmer throught the parallel port and a tool which allows reading and writing eproms.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 4
    Admiral OS
    Admiral aims to be an OS written in Ada, making available to the user all the advantages of a well-designed & stable system.
    Downloads: 0 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
  • 5
    Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    OS based on Agent based Security with a new type of split kernel and agents platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    A security intensive kernel written in Ada.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 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.