Skip to content
View SebastianRauch's full-sized avatar

Block or report SebastianRauch

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 Loading

  1. unikraft-private unikraft-private Public

    Forked from project-flexos/unikraft

    FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.

    C

  2. evaluation-private evaluation-private Public

    Forked from project-flexos/asplos22-ae

    FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository

    C

  3. kraft-private kraft-private Public

    Forked from project-flexos/kraft

    FlexOS fork of Unikraft's command-line companion tool

    Python

  4. app-flexos-microbenchmarks app-flexos-microbenchmarks Public

    Forked from project-flexos/app-flexos-microbenchmarks

    FlexOS microbenchmarks (application)

    C

  5. lib-flexos-microbenchmarks lib-flexos-microbenchmarks Public

    Forked from project-flexos/lib-flexos-microbenchmarks

    FlexOS microbenchmarks (library)

    C

  6. unikraft unikraft Public

    C