Repositories list

• documentation

  Public
  HaCRoM documentation

  1•0•0•0•Updated Jan 24, 2019Jan 24, 2019

• hacrom.github.io

  Public
  0•0•0•0•Updated Jan 24, 2019Jan 24, 2019

• genode

  Public
  Genode OS Framework

  C++

  •

  GNU General Public License v2.0

  •254•0•0•0•Updated Jan 18, 2019Jan 18, 2019

• genode-HW-Memtrace

  Public
  VHDL

  •

  MIT License

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

• genode-CheckpointRestore-SharedMemory

  Public
  C++

  •11•0•0•0•Updated Jan 9, 2019Jan 9, 2019

• genode-Profiler

  Public
  Function Profiler based on Serial Log Output for Genode

  Python

  •

  GNU Affero General Public License v3.0

  •3•0•0•0•Updated Jan 9, 2019Jan 9, 2019

• genode-Taskloader

  Public
  Upstarts given task binaries

  C++

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

• logalyzer

  Public
  Log analyzer for modified Genode

  C++

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

• fpga-mmu

  Public
  internship

  VHDL

  •3•0•0•0•Updated Sep 1, 2017Sep 1, 2017