Skip to content

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

Change the repository type filter

All

    Repositories list

    41 repositories

    • bibcloud

      Public
      The bibcloud LaTeX utility (and other related LaTeX tools)
      TeX
      •5•10•0•0•Updated Jun 29, 2025Jun 29, 2025

    • tyche-devel

      Public
      Rust
      •
      MIT License
      •0•5•18•2•Updated Jun 23, 2025Jun 23, 2025

    • linux-kvm-tyche

      Public
      C
      •
      Other
      •0•0•0•2•Updated Jun 13, 2025Jun 13, 2025

    • SIRD-Simulator

      Public
      C++
      •2•3•0•0•Updated Jun 2, 2025Jun 2, 2025

    • miralis-benchmark

      Public
      Benchmarks for Miralis
      Python
      •0•0•0•0•Updated Apr 16, 2025Apr 16, 2025

    • SIRD-Caladan-Impl

      Public
      C
      •
      Apache License 2.0
      •2•1•0•0•Updated Apr 15, 2025Apr 15, 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
      •2•1•0•0•Updated Mar 4, 2025Mar 4, 2025

    • miralis-sail-riscv

      Public
      Sail RISC-V model
      Coq
      •
      Other
      •213•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
      •211•0•0•1•Updated Feb 6, 2025Feb 6, 2025

    • miralis-artifact-keystone

      Public
      Keystone binary for integration testing of Miralis
      Makefile
      •2•0•0•0•Updated Jan 15, 2025Jan 15, 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

    • tyche-kvmtool

      Public
      A fork of kvmtool to use with Tyche
      C
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 30, 2024Sep 30, 2024

    • lancet-tool

      Public
      C
      •
      MIT License
      •18•29•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 Sets, Hashes, Streams, HyperLogLogs, Bitmaps.
      C
      •
      Other
      •24k•0•0•0•Updated Jun 27, 2024Jun 27, 2024

    • tyche-stage1-opensbi

      Public
      C
      •
      Other
      •0•0•0•0•Updated Apr 17, 2024Apr 17, 2024

    • patched-bootloader

      Public
      An experimental pure-Rust x86 bootloader - Patched for our needs
      Rust
      •
      Apache License 2.0
      •215•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

    • finite-interface-frame-allocator

      Public
      Rust
      •1•0•0•0•Updated Jan 15, 2023Jan 15, 2023

    • ptf-system

      Public
      The main PTF repository for the TF core.
      C++
      •
      Apache License 2.0
      •0•0•0•5•Updated Oct 4, 2022Oct 4, 2022

    • serval-paging

      Public
      Exploration of verified paging using the Serval framework - Semester project by Michael Paper
      C
      •0•0•0•0•Updated Jul 29, 2022Jul 29, 2022

    • r2p2

      Public
      C
      •
      MIT License
      •9•23•1•2•Updated Jul 21, 2022Jul 21, 2022

    • schedsim

      Public
      Go
      •5•3•0•0•Updated Oct 16, 2021Oct 16, 2021