Repositories list

• genode_18_11_rom_attach

  Public
  C

  •

  Other

  •0•0•0•0•Updated Sep 24, 2020Sep 24, 2020

• shallow_learning_h_thesis

  Public
  Python

  •0•0•0•0•Updated Nov 15, 2019Nov 15, 2019

• operating-system

  Public
  Meta repo for the operating system (hardware)

  Makefile

  •6•0•4•0•Updated Oct 2, 2019Oct 2, 2019

• genode-CheckpointRestore-SharedMemory

  Public
  C++

  •11•1•2•0•Updated Sep 27, 2019Sep 27, 2019

• speed-dreams

  Public
  Contains the open source motorsport simulation Speed Dreams, including individual changes for communicating with a Control Unit

  C++

  •

  GNU General Public License v2.0

  •8•25•0•1•Updated Sep 25, 2019Sep 25, 2019

• 2019_ba-greger_Mqtt_android

  Public
  C++

  •1•0•0•0•Updated Sep 16, 2019Sep 16, 2019

• 2019_ba-greger_Mqtt

  Public
  C++

  •1•0•0•0•Updated Sep 16, 2019Sep 16, 2019

• genode-dom0-HW

  Public
  Central network component, supposed to run on hardware

  C++

  •5•1•0•0•Updated Aug 26, 2019Aug 26, 2019

• 2019_ma-foegelle

  Public
  Python

  •2•0•0•0•Updated Aug 20, 2019Aug 20, 2019

• 2019_ma-beheshti

  Public
  codes of the parallel-parking scenario

  Python

  •1•0•0•0•Updated Aug 16, 2019Aug 16, 2019

• foc

  Public
  Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.

  C++

  •4•1•0•1•Updated Jul 25, 2019Jul 25, 2019

• autonomous-driving

  Public
  C++

  •2•2•0•0•Updated Jun 4, 2019Jun 4, 2019

• genode

  Public
  Genode OS Framework

  C++

  •

  GNU General Public License v2.0

  •254•0•2•3•Updated Mar 28, 2019Mar 28, 2019

• ba-thesis-risc-v-checkpoint-restore

  Public
  Bachelor thesis at the Technical University of Munich with the titel 'Extending the RISC-V Memory Management Unit by Support for a Real-Time Capable Checkpoint/Restore Mechanism'

  TeX

  •1•0•0•0•Updated Feb 14, 2019Feb 14, 2019

• genode-HW-Memtrace

  Public
  VHDL

  •

  MIT License

  •2•0•0•0•Updated Jan 15, 2019Jan 15, 2019

• u-boot

  Public
  C

  •0•0•0•0•Updated Nov 15, 2018Nov 15, 2018

• genode-Taskloader

  Public
  Upstarts given task binaries

  C++

  •3•1•0•0•Updated Nov 8, 2018Nov 8, 2018

• documentation

  Public
  argos research documentation project

  CSS

  •2•0•8•0•Updated Nov 7, 2018Nov 7, 2018

• genode-world

  Public
  Collection of community-maintained components for Genode

  C++

  •

  Other

  •47•1•0•0•Updated Nov 6, 2018Nov 6, 2018

• vrep-Scenario

  Public
  V-REP industrial automation scenario (genode+simcoupler)

  C

  •0•1•0•0•Updated Nov 5, 2018Nov 5, 2018

• genode-Synchronization

  Public
  Scheduling Synchronization Component

  C++

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Oct 31, 2018Oct 31, 2018

• genode-AdmCtrl

  Public
  Admission Control for the Genode OS Framework

  C++

  •2•0•2•0•Updated Oct 31, 2018Oct 31, 2018

• zedboard-tracing

  Public
  0•0•0•1•Updated Oct 24, 2018Oct 24, 2018

• toolchain-host

  Public
  ml toolchain host part (deprecated)

  C++

  •

  GNU General Public License v2.0

  •3•0•1•0•Updated Oct 22, 2018Oct 22, 2018

• testbed

  Public
  C++

  •0•0•1•0•Updated Aug 30, 2018Aug 30, 2018

• android-OpenCV

  Public
  opencv-based object detection on android by using the speed-dreams simulator

  C++

  •10•14•1•0•Updated Aug 24, 2018Aug 24, 2018

• genode-Monitoring

  Public
  Monitoring API based on TRACE Service

  C++

  •1•0•0•0•Updated Aug 13, 2018Aug 13, 2018

• genode-Utilization

  Public
  C++

  •1•0•0•0•Updated Aug 13, 2018Aug 13, 2018

• genode-Parser

  Public
  Parses information from and to xml

  C++

  •2•0•1•0•Updated Aug 13, 2018Aug 13, 2018

• logalyzer

  Public
  Log analyzer for modified Genode

  C++

  •2•0•0•0•Updated Jul 27, 2018Jul 27, 2018