Block or report user

Organizations

@google @coreboot @openbios

Popular repositories

  1. edk2

    Forked from tianocore/edk2

    Git mirror of edk2 svn

    C 12 8

  2. encapsulate

    isolate processes on linux

    C 8 6

  3. churchtools

    Forked from churchtools/churchtools_basic

    ChurchTools

    JavaScript

  4. ironsides-authoritative

    git repository containing the authoritative branch of the Ironsides DNS server written in SPARK

    Ada

  5. arm-trusted-firmware

    Forked from ARM-software/arm-trusted-firmware

    ARM Trusted Firmware

    C

149 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

July 2017

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