Skip to content
@project-flexos

FlexOS

Making OS Isolation Flexible

Pinned Loading

  1. unikraft 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 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.

    project-flexos/project-flexos.github.io’s past year of commit activity
    HTML 0 1 0 0 Updated Sep 19, 2024
  • 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.

    project-flexos/unikraft’s past year of commit activity
    C 22 1,486 0 0 Updated Jun 2, 2023
  • app-flexos-example Public

    FlexOS example application (application)

    project-flexos/app-flexos-example’s past year of commit activity
    C 0 1 0 0 Updated Jun 2, 2023
  • kraft Public Forked from unikraft/pykraft

    FlexOS fork of Unikraft's command-line companion tool

    project-flexos/kraft’s past year of commit activity
    Python 0 42 0 1 Updated Jun 2, 2023
  • lib-newlib Public Forked from unikraft/lib-newlib

    newlib for FlexOS (library)

    project-flexos/lib-newlib’s past year of commit activity
    C 0 23 0 1 Updated Nov 28, 2022
  • lib-zlib Public Forked from unikraft/lib-zlib

    zlib for FlexOS (library)

    project-flexos/lib-zlib’s past year of commit activity
    0 12 0 0 Updated May 13, 2022
  • app-zlib-example Public

    Example zlib app

    project-flexos/app-zlib-example’s past year of commit activity
    C 0 0 0 0 Updated May 13, 2022
  • lib-flexos-example Public

    FlexOS example application (library)

    project-flexos/lib-flexos-example’s past year of commit activity
    C 0 1 0 0 Updated May 13, 2022
  • app-redis Public Forked from unikraft/app-redis

    Redis for FlexOS (application)

    project-flexos/app-redis’s past year of commit activity
    Makefile 0 12 1 0 Updated Apr 12, 2022
  • asplos22-ae Public

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

    project-flexos/asplos22-ae’s past year of commit activity
    C 16 3 3 0 Updated Apr 2, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…