FlexOS

Making OS Isolation Flexible

Pinned Repositories

app-flexos-microbenchmarks
FlexOS microbenchmarks (application)
Language:C0 1 02
app-nginx
Nginx for FlexOS (application)
Language:Makefile0 0 00
app-redis
Redis for FlexOS (application)
Language:Makefile0 0 11
app-zlib-example
Example zlib app
Language:C0 5 00
asplos22-ae
FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
Language:C16 2 43
lib-flexos-example
FlexOS example application (library)
Language:C0 1 01
lib-flexos-microbenchmarks
FlexOS microbenchmarks (library)
Language:C0 1 01
lib-redis
Redis for FlexOS (library)
Language:C0 0 01
project-flexos.github.io
FlexOS GitHub page.
Language:HTML0 5 01
unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
Language:C22 0 05

FlexOS's Repositories

project-flexos/unikraft
FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
Language:C22 0 05
project-flexos/asplos22-ae
FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
Language:C16 2 43
project-flexos/app-flexos-example
FlexOS example application (application)
Language:C0 1 01
project-flexos/app-flexos-microbenchmarks
FlexOS microbenchmarks (application)
Language:C0 1 02
project-flexos/app-nginx
Nginx for FlexOS (application)
Language:Makefile0 0 00
project-flexos/app-redis
Redis for FlexOS (application)
Language:Makefile0 0 11
project-flexos/app-zlib-example
Example zlib app
Language:C0 5 00
project-flexos/lib-flexos-example
FlexOS example application (library)
Language:C0 1 01
project-flexos/lib-flexos-microbenchmarks
FlexOS microbenchmarks (library)
Language:C0 1 01
project-flexos/lib-iperf
iPerf benchmark for FlexOS (library)
Language:C0 6 00
project-flexos/lib-pthread-embedded
pthread-embedded for FlexOS (library)
Language:C0 0 01
project-flexos/lib-redis
Redis for FlexOS (library)
Language:C0 0 01
project-flexos/project-flexos.github.io
FlexOS GitHub page.
Language:HTML0 5 01
project-flexos/app-iperf
iPerf benchmark for FlexOS (application)
Language:C6 0
project-flexos/app-sqlite
SQLite for FlexOS (application)
Language:C0 0
project-flexos/kraft
FlexOS fork of Unikraft's command-line companion tool
Language:Python0 03
project-flexos/lib-lwip
lwip for FlexOS (library)
Language:C0 02
project-flexos/lib-newlib
newlib for FlexOS (library)
Language:C0 03
project-flexos/lib-nginx
Nginx for FlexOS (library)
Language:C0 0
project-flexos/lib-sqlite
SQLite for FlexOS (library)
Language:C0 0
project-flexos/lib-tlsf
TLSF for FlexOS (library)
Language:C0 01
project-flexos/lib-zlib
zlib for FlexOS (library)
0 0
project-flexos/sqlite-splitsrc
Generate sqlite sources with split amalgamation
Language:Shell7 0

FlexOS

Pinned Repositories

app-flexos-microbenchmarks

app-nginx

app-redis

app-zlib-example

asplos22-ae

lib-flexos-example

lib-flexos-microbenchmarks

lib-redis

project-flexos.github.io

unikraft

FlexOS's Repositories

project-flexos/unikraft

project-flexos/asplos22-ae

project-flexos/app-flexos-example

project-flexos/app-flexos-microbenchmarks

project-flexos/app-nginx

project-flexos/app-redis

project-flexos/app-zlib-example

project-flexos/lib-flexos-example

project-flexos/lib-flexos-microbenchmarks

project-flexos/lib-iperf

project-flexos/lib-pthread-embedded

project-flexos/lib-redis

project-flexos/project-flexos.github.io

project-flexos/app-iperf

project-flexos/app-sqlite

project-flexos/kraft

project-flexos/lib-lwip

project-flexos/lib-newlib

project-flexos/lib-nginx

project-flexos/lib-sqlite

project-flexos/lib-tlsf

project-flexos/lib-zlib

project-flexos/sqlite-splitsrc