Genode - Operating System Framework

  •        1384

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs.

Genode allows the kernel to use device drivers, protocol stacks, libraries, and applications in a uniform way. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

http://genode.org/
https://github.com/genodelabs/genode
http://sourceforge.net/projects/genode/

Tags
Implementation
License
Platform

   




Related Projects

eyeOS - Cloud Computing Operating System


eyeOS is a disruptive desktop entirely usable from a web browser. eyeOS as a RIA (Rich Internet Application Framework). It has been completely developed with open technology and widely accepted standards such as PHP, MySQL, JavaScript, Qooxdoo, log4php, PHPUnit, OpenOffice and others, enabling the system to function on a common web server without any modifications, and using any standard browser without any additional plug-ins installed.

Sailfish OS - Mobile Operating System


Sailfish OS is a mobile operating system built on top of Mer project and Qt5. The UI is built with QML and QtQuick2 and Wayland. It is compatible with Android.

XOmB-Genode - CS1651 Class project to port the Genode Operating System to the XOmB exokernel


CS1651 Class project to port the Genode Operating System to the XOmB exokernel

osquery - SQL powered operating system instrumentation, monitoring, and analytics.


osquery is an operating system instrumentation framework for OS X/macOS, Windows, and Linux. The tools make low-level operating system analytics and monitoring both performant and intuitive.There are many additional continuous build jobs that perform dynamic and static analysis, test the package build process, rebuild dependencies from source, assure deterministic build on macOS and Linux, fuzz test the virtual tables, and build on several other platforms not included above. Code safety, testing rigor, data integrity, and a friendly development community are our primary goals.

windows - Ruby framework for manipulating operating system windows


Ruby framework for manipulating operating system windows



Pintos - Pintos is a simple instructional operating system framework for the 80x86 architecture.


Pintos is a simple instructional operating system framework for the 80x86 architecture.

Asteroid Challenge


System Requirements Operating System: Windows 7 or Higher Framework : .NET Framework 4.0 Framework: XNA Framework 4.0 Windows Installer 3.1

dewitcher Framework


A rly cool Framework, made for use with COSMOS. - Console-class that supports colored, horizontal- and vertical- centered text printing - more =P

Alfresco - Enterprise Content Management System


Alfresco is the open source alternative for Enterprise Content Management (ECM), providing Document Management, Collaboration, Records Management, Knowledge Management, Web Content Management, Image Management, Content Repository, Workflow. It supports CIFS interface to provide file system compatibility on Microsoft Windows and Unix-like operating systems.

NIH - the Not Invented Here framework


In one sentence: NIH is a framework for web application development. Furthermore, NIH is a framework for cross-platform (cross operating system and cross web server) web application development and deployment in python.

Kubos - A real-time operating system targeting microcontrollers in space


KubOS is light weight flight RTOS and framework, brings unparalleled productivity and functionality to the flight critical MCUs of satellites.

Open Configuration Framework


XML based configuration framework for UNIX based operating systems. Abstracts servers and provides a web/console/gui based system management. Currently supports PgSQL, MySQL, Apache, Qmail, Postfix, Sendmail, vsftpd, PureFTPD, system quotas etc...

PeppermintOS - Linux based OS for Cloud


Peppermint OS is a fork of Lubuntu. Peppermint is a Linux based Operating System that is Cloud / Web Application Centric, Sleek, User Friendly and Insanely Fast. Peppermint was designed for enhanced mobility, efficiency and ease of use. While other operating systems are taking 10 minutes to load, you are already connected, communicating and getting things done. And, unlike other operating systems, Peppermint is ready to use out of the box.

tOfuS: the Framework OS


tOfuS is an OS kernel with framework capabilities, in order for everyone to experiment on it. (was: A Music-Production oriented Operating System, for use in recording studios and live performances as a mixing desk and user-programmable DSP).

ReactOS - Operating System Compatible with Windows


ReactOS is a free open source operating system based on the best design principles found in the Windows NT architecture. The main goal of the ReactOS project is to provide an operating system which is binary compatible with Windows. This will allow your Windows applications and drivers to run as they would on your Windows system. This is to allow you to use it as alternative to Windows without the need to change software you are used to.

Tizen - Operating System for Devices like Smartphones, Tablets


Tizen is an open source, standards-based software platform for multiple device categories, including smartphones, tablets, netbooks, in-vehicle infotainment devices, smart TVs, wearable and more. Tizen offers an innovative operating system, applications, and a user experience that consumers can take from device to device.

rome


HTTP-based API development framework and APIs for next generation of automated operating system based on Condotti framework and node.js

osv - OSv, a new operating system for the cloud.


OSv is a new open-source operating system for virtual-machines. OSv was designed from the ground up to execute a single application on top of a hypervisor, resulting in superior performance and effortless management when compared to traditional operating systems which were designed for a vast range of physical machines.OSv has new APIs for new applications, but also runs unmodified Linux applications (most of Linux's ABI is supported) and in particular can run an unmodified JVM, and applications built on top of one.

Debian - The Universal Operating System


Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian provides more than a pure OS: it comes with over 29000 packages, precompiled software bundled up in a nice format for easy installation on your machine.