Skip to content

@project-flexos FlexOS

Change the repository type filter

All

    Repositories list

    23 repositories

    • project-flexos.github.io

      Public
      FlexOS GitHub page.
      HTML
      •1•0•0•0•Updated Sep 19, 2024Sep 19, 2024

    • unikraft

      Public
      FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
      librarykernelososdevoperating-systemunikernelunikraftspecialized-osesultra-light-virtualizationcompartmentalization
      C
      •
      Other
      •1.5k•21•0•0•Updated Jun 2, 2023Jun 2, 2023

    • app-flexos-example

      Public
      FlexOS example application (application)
      C
      •1•0•0•0•Updated Jun 2, 2023Jun 2, 2023

    • kraft

      Public
      FlexOS fork of Unikraft's command-line companion tool
      Python
      •
      Other
      •42•0•0•1•Updated Jun 2, 2023Jun 2, 2023

    • lib-newlib

      Public
      newlib for FlexOS (library)
      C
      •
      Other
      •23•0•0•1•Updated Nov 28, 2022Nov 28, 2022

    • lib-zlib

      Public
      zlib for FlexOS (library)
      Other
      •12•0•0•0•Updated May 13, 2022May 13, 2022

    • app-zlib-example

      Public
      Example zlib app
      C
      •0•0•0•0•Updated May 13, 2022May 13, 2022

    • lib-flexos-example

      Public
      FlexOS example application (library)
      C
      •1•0•0•0•Updated May 13, 2022May 13, 2022

    • app-redis

      Public
      Redis for FlexOS (application)
      Makefile
      •12•0•1•0•Updated Apr 12, 2022Apr 12, 2022

    • asplos22-ae

      Public
      FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
      C
      •3•16•3•0•Updated Apr 2, 2022Apr 2, 2022

    • sqlite-splitsrc

      Public
      Generate sqlite sources with split amalgamation
      Shell
      •
      MIT License
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-nginx

      Public
      Nginx for FlexOS (application)
      Makefile
      •16•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-iperf

      Public
      iPerf benchmark for FlexOS (application)
      C
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-sqlite

      Public
      SQLite for FlexOS (application)
      C
      •8•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-redis

      Public
      Redis for FlexOS (library)
      C
      •
      Other
      •12•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-iperf

      Public
      iPerf benchmark for FlexOS (library)
      C
      •0•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-tlsf

      Public
      TLSF for FlexOS (library)
      C
      •8•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-pthread-embedded

      Public
      pthread-embedded for FlexOS (library)
      C
      •
      Other
      •11•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-sqlite

      Public
      SQLite for FlexOS (library)
      C
      •
      Other
      •7•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-flexos-microbenchmarks

      Public
      FlexOS microbenchmarks (library)
      C
      •1•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • app-flexos-microbenchmarks

      Public
      FlexOS microbenchmarks (application)
      C
      •2•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-nginx

      Public
      Nginx for FlexOS (library)
      C
      •
      Other
      •5•0•0•0•Updated Dec 2, 2021Dec 2, 2021

    • lib-lwip

      Public
      lwip for FlexOS (library)
      C
      •34•0•0•0•Updated Dec 2, 2021Dec 2, 2021