genode

There are 0 repository under genode topic.

• genodelabs / genode

  Genode OS Framework

  armcplusplusframeworkgenodegoahypervisorlinuxmicrokernelnovaobject-capabilitiesoperating-systemosdevriscvsculpt-ossel4virtualizationx86cpp
  Language:C++ 1047

• genodelabs / genode-world

  Collection of community-maintained components for Genode

  applicationsgenodelibrariesosdev
  Language:C 44

• genodelabs / goa

  Tool for streamlining the development of Genode applications

  cplusplusgccgenodegoalinuxosdevtoolsculpt-oscpp
  Language:Tcl 18

• genodelabs / genodians.org

  Website for stories around the Genode operating system

  blogdocumentationgenodegoahowtoosdevsculpt-osgenodians
  Language:CSS 17

• genodelabs / genode-allwinner

  Allwinner SoC support for the Genode OS framework

  aarch64allwinner-a64armcplusplusgenodeosdevpinephonecpp
  Language:C 13

• SirusDoma / Genode

  Game Engine On Demand

  gamegame-enginegame-developmentsfmlgenode
  Language:C# 13

• genodelabs / genode-rpi

  Raspberry Pi family support for Genode OS framework

  aarch64armarmv6armv8cplusplusgenodemicrokernelosdevraspberry-picpp
  Language:C++ 12

• osfree-project / os3

  OS/2 personality (OS/2 API implementation on top of different kernels)

  os2osfreeosdevmicrokernell4l4regenodel4envapiopensource
  Language:C 10

• genodelabs / genode-imx

  i.MX SoC family support for the Genode OS framework

  aarch64armarmv7armv8cplusplusgenodeimx6imx7imx8osdevhypervisormicrokernelvirtualizationcpp
  Language:C 8

• genodelabs / genode-zynq

  Zynq SoC support for the Genode OS framework

  armarmv7cplusplusgenodeosdevzybozynqmicrokernelcpp
  Language:C++ 6

• genodelabs / genode-riscv

  RISC-V board support

  cplusplusgenodeosdevriscvmicrokernelcpp
  Language:C++ 5

• dckc / genode-js-xs

  JavaScript on genode using the Moddable XS engine

  genodeocapscapability-securityosdevjavascript
  Language:Makefile 1

• zgzollers / nixpkgs-genode

  Nix flakes/packages for developing and building systems based on the Genode OS Framework

  genodenixnix-flakenix-shell
  Language:Nix 1

• blitz / hello

  The Genode Goa Hello World Example

  genodenix
  Language:Nix