Repositories list

• documentation

  Public
  HaCRoM documentation

  11 fork•00 stars•00 issues•00 pull requests•Updated Jan 24, 2019Jan 24, 2019

• hacrom.github.io

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jan 24, 2019Jan 24, 2019

• genode

  Public
  Genode OS Framework

  C++

  •

  GNU General Public License v2.0

  •273273 forks•00 stars•00 issues•00 pull requests•Updated Jan 18, 2019Jan 18, 2019

• genode-HW-Memtrace

  Public
  VHDL

  •

  MIT License

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jan 15, 2019Jan 15, 2019

• genode-CheckpointRestore-SharedMemory

  Public
  C++

  •1111 forks•00 stars•00 issues•00 pull requests•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

  •33 forks•00 stars•00 issues•00 pull requests•Updated Jan 9, 2019Jan 9, 2019

• genode-Taskloader

  Public
  Upstarts given task binaries

  C++

  •33 forks•00 stars•00 issues•00 pull requests•Updated Nov 8, 2018Nov 8, 2018

• logalyzer

  Public
  Log analyzer for modified Genode

  C++

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jul 27, 2018Jul 27, 2018

• fpga-mmu

  Public
  internship

  VHDL

  •33 forks•00 stars•00 issues•00 pull requests•Updated Sep 1, 2017Sep 1, 2017