Popular repositories Loading
Repositories
Showing 10 of 28 repositories
- spike-ci-artifact Public
Repo to automate builds dans distribute binaries of the Spike RISC-V ISA simulator for github CI
epfl-dcsl/spike-ci-artifact’s past year of commit activity - gramine Public Forked from gramineproject/gramine
A library OS for Linux multi-process applications, with Intel SGX support
epfl-dcsl/gramine’s past year of commit activity - tyche-eyrie Public
epfl-dcsl/tyche-eyrie’s past year of commit activity - lancet-tool Public
epfl-dcsl/lancet-tool’s past year of commit activity - tyche-redis Public Forked from redis/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/tyche-redis’s past year of commit activity - patched-bootloader Public Forked from rust-osdev/bootloader
An experimental pure-Rust x86 bootloader - Patched for our needs
epfl-dcsl/patched-bootloader’s past year of commit activity - unikraft Public Forked from unikraft/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/unikraft’s past year of commit activity - rust-kernel-drivers Public Forked from NoeTerrier/noe-ba-project
Bachelor project 2023 at DCSL @ EPFL, build by Noe Terrier
epfl-dcsl/rust-kernel-drivers’s past year of commit activity