Pinned Loading

1. ipanema-kernel ipanema-kernel Public

   The Linux kernel, with the Ipanema runtime inside. Mirrors https://gitlab.inria.fr/ipanema-public/ipanema-kernel

   C 1 2

2. ouichefs ouichefs Public

   ouiche_fs - a simple educational filesystem for Linux

   C 26 38

3. percoreDVFStester percoreDVFStester Public

   Check if your CPU has per-core frequency scaling in 5 seconds

   Shell 2 1

4. frequency_logger frequency_logger Public

   A simple frequency monitoring tool for Intel processors

   Python 7 1

5. core_regulator core_regulator Public

   C 1

6. scrlck_backlight scrlck_backlight Public

   A dumb bash script for keyboards backlit with scrolllock

   Shell 1 1