Pinned Repositories
bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
crab
gotee
hovercraft
lancet-tool
r2p2
raft
redis
schedsim
sonuma-vm
Scale-Out NUMA software development platform
Data Center Systems Lab (@EPFL)'s Repositories
epfl-dcsl/lancet-tool
epfl-dcsl/gotee
epfl-dcsl/r2p2
epfl-dcsl/hovercraft
epfl-dcsl/crab
epfl-dcsl/bibcloud
The bibcloud LaTeX utility (and other related LaTeX tools)
epfl-dcsl/sonuma-vm
Scale-Out NUMA software development platform
epfl-dcsl/schedsim
epfl-dcsl/raft
epfl-dcsl/redis
epfl-dcsl/rust-kernel-drivers
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
epfl-dcsl/ptf-persona
The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.
epfl-dcsl/cpython
The Python programming language
epfl-dcsl/finite-interface-frame-allocator
epfl-dcsl/go
The Go programming language
epfl-dcsl/gramine
A library OS for Linux multi-process applications, with Intel SGX support
epfl-dcsl/linux-image
vmlinux image with embedded ramfs
epfl-dcsl/miralis-benchmark
Benchmarks for Miralis
epfl-dcsl/miralis-sail-riscv
Sail RISC-V model
epfl-dcsl/patched-bootloader
An experimental pure-Rust x86 bootloader - Patched for our needs
epfl-dcsl/persona-orig
A fork of https://github.com/epfl-vlsc/persona for the few non-ported features of PTF-Persona, such as dataset conversion and other offline stuff..
epfl-dcsl/ptf-system
The main PTF repository for the TF core.
epfl-dcsl/serval-paging
Exploration of verified paging using the Serval framework - Semester project by Michael Paper
epfl-dcsl/serval-rust
epfl-dcsl/spike-ci-artifact
Repo to automate builds dans distribute binaries of the Spike RISC-V ISA simulator for github CI
epfl-dcsl/tyche-eyrie
epfl-dcsl/tyche-kvmtool
A fork of kvmtool to use with Tyche
epfl-dcsl/tyche-redis
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
epfl-dcsl/unikraft
Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
epfl-dcsl/visionfive2-doc
Documentation and notes about the VisionFive2 board