Block or report user

Organizations

@genodelabs

Pinned repositories

  1. genode

    Forked from genodelabs/genode

    Genode OS Framework

    C++ 3 1

  2. foc

    Forked from ssumpf/foc

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

    C

  3. genode-manual

    Forked from nfeske/genode-manual

    Reference manual for the Genode OS Framework

    TeX

  4. genode-world

    Forked from genodelabs/genode-world

    Collection of community-maintained components for Genode

    C++

  5. NOVA

    Forked from alex-ab/NOVA

    NOVA Microhypervisor

    C++

  6. seL4

    Forked from seL4/seL4

    The seL4 microkernel

    C

164 contributions in the last year

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

Contribution activity

June 2018

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