Submit Software
  1. Home
  2. Windows
  3. Other
  4. Genode OS Framework

Genode OS Framework 11.02

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes
Download

The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Kernel support: L4ka::Pistachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, and Linux (x86-32, x86-64)

VERSION HISTORY

  • Version 11.02 posted on 2011-02-25
    Several fixes and updates
  • Version 11.02 posted on 2011-02-25

Program Details

Related Programs

  • Method-of-Moments EM Field Simulator Free

    An electromagnetic field simulator using Method of Moments (MoM). It has a MFC/OpenGL-based GUI and can simulate and visualize scattering and radiation problems in homogeneous and multilayered media.

  • Mantaray Free

    A distributed, peer-to-peer, server-less communication & messaging solution for JAVA (JMS), C++ and .NET applications, integrates with JBoss, WebLogic & WebSphere. Offers guaranteed delivery, security and transactions

  • Dictionary framework Free

    The gnuDict use plugins to connect to different dictionaries (stardict, dictd, babylon..)

  • XMLrouterCLI Free

    XMLrouterCLI is a Python framework to build command-line interfaces that resemble that of Cisco IOS (R).

  • sux0r Free

    sux0r is a blogging package, an RSS aggregator, a bookmark repository, and a photo publishing platform with a focus on Naive Bayesian categorization and probabilistic content. OpenID 1.1 enabled; as both a consumer and a prov

  • Gallery4All Free

    Gallery4All is a simple and rapid dynamically generated thumbnail gallery made with PHP&MySQL. It can be easely integrated in your design and script. The pictures are structured in categories, urls can be generated with m

  • Java SuperCollider for Eclipse Free

    Java SuperCollider (JSC) is a plugin for Eclipse with the goal to create a cross platform IDE for the programming language SuperCollider.

  • Checkclipse Free

    Checkclipse is a plugin which integrates the Checkstyle style checker for Coding Guidelines into Eclipse. All Java style violations will be immediately reported by error markers. Coding Guidelines can be configured for each p

  • Interactive Compilation Interface Free

    ICI transforms production compilers into open interactive plugin-based research infrastructure as the first step towards future intelligent self-tuning computing systems. More information: http://cTuning.org/ici

  • Atlas 64 Free

    This project brings together many sub-projects with the goal of enhancing Linux performance on large systems. Sub-projects include ccNUMA, 64-bit x86, ACPI, etc. support for Linux.