Sitelet https://web.archive.org/web/20200620174022/https://github.com/axel-h
Skip to content
  • Munich

Organizations

@seL4

Popular repositories

  1. docs

    Forked from seL4/docs

    This is the source of the seL4 docs.

    C

  2. util_libs

    Forked from seL4/util_libs

    C

  3. sel4test-manifest

    Forked from seL4/sel4test-manifest

    Project to build and test seL4 for many different platforms

  4. seL4_libs

    Forked from seL4/seL4_libs

    C

  5. musllibc

    Forked from seL4/musllibc

    C

  6. seL4_tools

    Forked from seL4/seL4_tools

    C

81 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

June 2020

Created a pull request in seL4/sel4test that received 4 comments

trivial: fix typo

Signed-off-by: Axel Heider axelheider@gmx.de

+1 −1 • 4 comments

Joined the seL4 microkernel and related repositories organization

@seL4
seL4 microkernel and related repositories

Provided by the seL4 Foundation

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

You can’t perform that action at this time.