Skip to content
@systems-nuts

systems-nuts

Systems Software Research @ ICSA, School of Informatics, The University of Edinburgh

Pinned Loading

  1. unifico unifico Public

    Compiler and build harness for heterogeneous-ISA binaries with the same stack layout.

    C 5 1

  2. CoSense CoSense Public

    CoSense is a compiler that uses sensor information from datasheet to help with optimization. It is developed based on LLVM.

    C 2 2

  3. Anubis Anubis Public

    The source code of Anubis prototype

    C 2 1

  4. FragVisor FragVisor Public

    The FragVisor Aggregate VM Hypervisor

    Shell 8 2

  5. hcontainer-tutorial hcontainer-tutorial Public

    H-container, criu-het and compiler framework, Docker-based tutorial (aarch64 and x86_64)

    Shell 8

  6. popcorn-tutorial popcorn-tutorial Public

    Popcorn Linux and Compiler Framework Tutorial (SOSP 2019) material (aarch64 and x86_64)

Repositories

Showing 10 of 53 repositories
  • qemu-smartvm Public Forked from qemu/qemu

    Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

    systems-nuts/qemu-smartvm’s past year of commit activity
    C 0 5,887 0 0 Updated Feb 24, 2025
  • TransProc Public Forked from ssrg-vt/TransProc

    Transform the CRIU image between different architectures for vanilla code.

    systems-nuts/TransProc’s past year of commit activity
    C 0 MIT 2 0 0 Updated Feb 23, 2025
  • Stramash-AE Public Forked from 123toorc/Stramash-AE

    Stramash AE

    systems-nuts/Stramash-AE’s past year of commit activity
    C 0 MIT 1 0 0 Updated Feb 10, 2025
  • TransProc2 Public

    Transform the CRIU image between different architectures for vanilla code.

    systems-nuts/TransProc2’s past year of commit activity
    C 0 MIT 0 0 0 Updated Feb 9, 2025
  • musl-stack-reloc Public

    A clone of https://www.musl-libc.org/ with support for stack relocation (before libc start)

    systems-nuts/musl-stack-reloc’s past year of commit activity
    C 0 0 1 0 Updated Dec 12, 2024
  • hyper_dsm Public Forked from torvalds/linux

    hyper_dsm

    systems-nuts/hyper_dsm’s past year of commit activity
    C 0 57,290 0 0 Updated Nov 21, 2024
  • unifico Public

    Compiler and build harness for heterogeneous-ISA binaries with the same stack layout.

    systems-nuts/unifico’s past year of commit activity
    C 5 1 59 0 Updated Sep 11, 2024
  • CoSense Public

    CoSense is a compiler that uses sensor information from datasheet to help with optimization. It is developed based on LLVM.

    systems-nuts/CoSense’s past year of commit activity
    C 2 MIT 2 0 0 Updated Aug 19, 2024
  • junco-compiler_assisted_checkpointing Public
    systems-nuts/junco-compiler_assisted_checkpointing’s past year of commit activity
    C++ 0 1 0 0 Updated Mar 23, 2024
  • Anubis Public

    The source code of Anubis prototype

    systems-nuts/Anubis’s past year of commit activity
    C 2 1 0 0 Updated Mar 17, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…