Skip to content

@epfl-dcsl Data Center Systems Lab (@EPFL)

Change the repository type filter

All

    Repositories list

    45 repositories

    • linux-ktls

      Public
      Linux kernel source tree
      C
      •
      Other
      •62k•0•0•0•Updated Apr 20, 2026Apr 20, 2026

    • fold

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Apr 15, 2026Apr 15, 2026

    • bibcloud

      Public
      The bibcloud LaTeX utility (and other related LaTeX tools)
      TeX
      •6•11•0•0•Updated Apr 11, 2026Apr 11, 2026

    • tyche-devel

      Public
      Rust
      •
      MIT License
      •1•10•18•2•Updated Apr 4, 2026Apr 4, 2026

    • tyche-stage1-opensbi

      Public
      C
      •
      Other
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • linux-kvm-tyche

      Public
      C
      •
      Other
      •0•0•0•2•Updated Mar 30, 2026Mar 30, 2026

    • SIRD-Simulator

      Public
      C++
      •3•8•0•0•Updated Mar 18, 2026Mar 18, 2026

    • schedsim

      Public
      Go
      •5•3•0•0•Updated Feb 23, 2026Feb 23, 2026

    • miralis-benchmark

      Public
      Benchmarks for Miralis
      Python
      •0•0•0•0•Updated Sep 1, 2025Sep 1, 2025

    • miralis-sosp25-artifact

      Public
      Artifacts for the SOSP'25 paper "The Design and Implementation of a Virtual Firmware Monitor"
      Rust
      •0•4•0•0•Updated Aug 10, 2025Aug 10, 2025

    • SIRD-Caladan-Impl

      Public
      C
      •
      Apache License 2.0
      •3•3•0•0•Updated Aug 6, 2025Aug 6, 2025

    • SIRD-Caladan-Impl-Setup

      Public
      Python
      •0•0•0•0•Updated Aug 6, 2025Aug 6, 2025

    • miralis-artifact-keystone

      Public
      Keystone binary for integration testing of Miralis
      Makefile
      •2•0•0•0•Updated Jul 28, 2025Jul 28, 2025

    • tyche-kvmtool

      Public
      A fork of kvmtool to use with Tyche
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jul 22, 2025Jul 22, 2025

    • premierp550-doc

      Public
      Documentation and notes about the SiFive Premier P550 board
      Shell
      •0•0•0•0•Updated Mar 25, 2025Mar 25, 2025

    • visionfive2-doc

      Public
      Documentation and notes about the VisionFive2 board
      Makefile
      •0•0•0•0•Updated Mar 25, 2025Mar 25, 2025

    • miralis-ace

      Public
      Miralis is an experimental system that virtualises firmware | fork with support for the ACE security monitor
      Rust
      •
      MIT License
      •5•1•0•0•Updated Mar 4, 2025Mar 4, 2025

    • miralis-sail-riscv

      Public
      Sail RISC-V model
      Coq
      •
      Other
      •259•0•0•0•Updated Feb 15, 2025Feb 15, 2025

    • gramine

      Public
      A library OS for Linux multi-process applications, with Intel SGX support
      C
      •
      GNU Lesser General Public License v3.0
      •223•0•0•1•Updated Feb 6, 2025Feb 6, 2025

    • spike-ci-artifact

      Public
      Repo to automate builds dans distribute binaries of the Spike RISC-V ISA simulator for github CI
      Makefile
      •0•0•0•0•Updated Nov 19, 2024Nov 19, 2024

    • tyche-eyrie

      Public
      C
      •
      Other
      •0•0•0•0•Updated Oct 16, 2024Oct 16, 2024

    • lancet-tool

      Public
      C
      •
      MIT License
      •18•30•9•2•Updated Aug 16, 2024Aug 16, 2024

    • tyche-experiment-redis

      Public
      Redis setup to run on top of Tyche
      C
      •0•0•0•0•Updated Jul 19, 2024Jul 19, 2024

    • tyche-musl

      Public
      Musl fork for Tyche
      C
      •
      Other
      •0•0•0•0•Updated Jul 19, 2024Jul 19, 2024

    • tyche-redis

      Public
      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…
      C
      •
      Other
      •25k•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • patched-bootloader

      Public
      An experimental pure-Rust x86 bootloader - Patched for our needs
      Rust
      •
      Apache License 2.0
      •230•0•0•0•Updated Mar 15, 2024Mar 15, 2024

    • unikraft

      Public
      Unikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
      C
      •
      Other
      •1.5k•0•0•0•Updated Feb 20, 2024Feb 20, 2024

    • rust-kernel-drivers

      Public
      Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
      Rust
      •1•1•0•0•Updated May 17, 2023May 17, 2023

    • linux-image

      Public
      vmlinux image with embedded ramfs
      C
      •0•0•0•0•Updated Mar 31, 2023Mar 31, 2023

    • serval-rust

      Public
      Racket
      •0•1•0•0•Updated Mar 5, 2023Mar 5, 2023
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.