Skip to content
@project-flexos

FlexOS

Making OS Isolation Flexible

Pinned Loading

  1. unikraft Public

    Forked from unikraft/unikraft

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

    C 22 5

  2. asplos22-ae Public

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

    C 16 3

Repositories

Showing 10 of 23 repositories
  • project-flexos.github.io Public

    FlexOS GitHub page.

    HTML 0 1 0 0 Updated Jan 27, 2025
  • unikraft Public Forked from unikraft/unikraft

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

    C 22 1,476 0 0 Updated Jun 2, 2023
  • app-flexos-example Public

    FlexOS example application (application)

    C 0 1 0 0 Updated Jun 2, 2023
  • kraft Public Forked from unikraft/pykraft

    FlexOS fork of Unikraft's command-line companion tool

    Python 0 42 0 1 Updated Jun 2, 2023
  • lib-newlib Public Forked from unikraft/lib-newlib

    newlib for FlexOS (library)

    C 0 23 0 1 Updated Nov 28, 2022
  • lib-zlib Public Forked from unikraft/lib-zlib

    zlib for FlexOS (library)

    0 12 0 0 Updated May 13, 2022
  • app-zlib-example Public

    Example zlib app

    C 0 0 0 0 Updated May 13, 2022
  • lib-flexos-example Public

    FlexOS example application (library)

    C 0 1 0 0 Updated May 13, 2022
  • app-redis Public Forked from unikraft/app-redis

    Redis for FlexOS (application)

    Makefile 0 12 1 0 Updated Apr 12, 2022
  • asplos22-ae Public

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

    C 16 3 3 0 Updated Apr 2, 2022
View all repositories