Skip to content
@sslab-keio

System Software Lab

Popular repositories Loading

  1. FiTx FiTx Public

    Bug detection framework for finding Finger tracable bugs in Linux

    C++ 21

  2. ple-kvm ple-kvm Public

    Patches for "Mitigating Excessive Pause-Loop Exiting in VM-Agnostic KVM"

    5 1

  3. sgx-mtcp sgx-mtcp Public

    Port of the mTCP user-level TCP library to Intel SGX

    C 2

  4. linux-gdev linux-gdev Public

    gdev linux kernel (WIP)

    C 1

  5. beignet beignet Public

    Forked from intel/beignet

    Beignet is an open source implementation of the OpenCL specification - a generic compute oriented API. Here is Beignet Source Code Mirror in github- This is a publish-only repository and all pull r…

    C++ 1

  6. mergeable-page-demo mergeable-page-demo Public

    C 1

Repositories

Showing 8 of 8 repositories
  • PvCC Public

    This repository contains the artifact for the Middleware'24 paper: "PvCC: A vCPU Scheduling Policy for DPDK-applied Systems at Multi-Tenant Edge Data Centers"

    Python 0 0 0 0 Updated Dec 9, 2024
  • FiTx Public

    Bug detection framework for finding Finger tracable bugs in Linux

    C++ 21 0 1 0 Updated Jun 12, 2024
  • FWinst Public

    An emulation context-aware filter presented in "Hardening Hypervisors against Vulnerabilities in Instruction Emulators"

    0 GPL-2.0 0 0 0 Updated Jan 31, 2024
  • C 1 0 0 0 Updated Oct 25, 2023
  • ple-kvm Public

    Patches for "Mitigating Excessive Pause-Loop Exiting in VM-Agnostic KVM"

    5 1 0 0 Updated Jul 13, 2021
  • sgx-mtcp Public

    Port of the mTCP user-level TCP library to Intel SGX

    C 2 0 0 0 Updated May 3, 2021
  • beignet Public Forked from intel/beignet

    Beignet is an open source implementation of the OpenCL specification - a generic compute oriented API. Here is Beignet Source Code Mirror in github- This is a publish-only repository and all pull requests are ignored. Please follow https://wiki.freedesktop.org/www/Software/Beignet/ for any of your improvements

    C++ 1 LGPL-2.1 42 0 0 Updated Oct 5, 2018
  • linux-gdev Public

    gdev linux kernel (WIP)

    C 1 0 0 0 Updated Dec 25, 2017