Block or report user



Popular repositories

  1. foc

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

    C 6 13

  2. genode

    Forked from genodelabs/genode

    Genode OS Framework

    C++ 5

  3. linux_drivers

    Forked from genodelabs/linux_drivers

    Drivers ported from Linux 2.6 to Genode

    C 4

  4. pistachio

    Forked from l4ka/pistachio

    L4Ka::Pistachio micro-kernel

    C++ 3

  5. l4linux

    Clone of L4Linux from

    C 3 2

  6. ktray

    KTRAY (simple Qt-based keyboard-status indicator for system tray)

    C++ 2 1

73 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

December 2017

Created an issue in genodelabs/genode that received 3 comments

noux_tool_chain_auto: compile zlib source archive instead of core

Seeing something unexpected? Take a look at the GitHub profile guide.