Skip to content
View m-stein's full-sized avatar
  • Genode Labs GmbH
  • Dresden

Organizations

@genodelabs
Block or Report

Block or report m-stein

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. genode genode Public

    Forked from genodelabs/genode

    Genode OS Framework

    C 8 1

  2. linux linux Public

    Personal adaptions of the Linux kernel

    C 5 2

  3. genode_binaries genode_binaries Public

    Binaries of Genode scenarios

    1

  4. uboot uboot Public

    Personal adaptions of the Uboot bootloader

    C 1 1

  5. genode_hdl_env genode_hdl_env Public

    Integration of HDL designs by emulating access wich regards their interface.

    C++ 1

  6. genode_related genode_related Public

    Genode related files not part of the official branches