Skip to content

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

Change the repository type filter

All

    Repositories list

    33 repositories

    • miralis-sail-riscv

      Public
      Sail RISC-V model
      Coq
      •
      Other
      •180•0•0•0•Updated Feb 6, 2025Feb 6, 2025

    • miralis-benchmark

      Public
      Benchmarks for Miralis
      Python
      •0•0•0•0•Updated Feb 6, 2025Feb 6, 2025

    • gramine

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

    • miralis-ace

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

    • visionfive2-doc

      Public
      Documentation and notes about the VisionFive2 board
      Makefile
      •0•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • miralis-artifact-keystone

      Public
      Keystone binary for integration testing of Miralis
      Makefile
      •2•0•0•0•Updated Jan 15, 2025Jan 15, 2025

    • bibcloud

      Public
      The bibcloud LaTeX utility (and other related LaTeX tools)
      TeX
      •5•9•0•0•Updated Jan 13, 2025Jan 13, 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
      •17•28•9•2•Updated Aug 16, 2024Aug 16, 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

    • 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

    • crab

      Public
      C
      •
      MIT License
      •4•10•0•0•Updated Sep 10, 2021Sep 10, 2021

    • cpython

      Public
      The Python programming language
      Python
      •
      Other
      •31k•0•0•0•Updated Mar 29, 2021Mar 29, 2021

    • gotee

      Public
      Go
      •
      BSD 3-Clause "New" or "Revised" License
      •5•25•1•0•Updated Sep 9, 2020Sep 9, 2020

    • hovercraft

      Public
      C
      •1•14•0•0•Updated Mar 29, 2020Mar 29, 2020

    • raft

      Public
      C
      •
      Other
      •1•1•0•0•Updated Mar 29, 2020Mar 29, 2020

    • redis

      Public
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •1•1•0•0•Updated Mar 28, 2020Mar 28, 2020

    • ptf-persona

      Public
      The shell (application) for running all PTF-based Persona applications and experiments, including both local and scale-out.
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 28, 2019Aug 28, 2019

    • persona-orig

      Public
      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..
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Aug 24, 2019Aug 24, 2019