-
-
scx-analyzer Public
SCX callback analyzer using Perfetto.
-
-
struct_ops-tutorial Public
A simple kernel module using struct_ops and a corresponding BPF program
-
-
rclcpp Public
Forked from ros2/rclcpprclcpp (ROS Client Library for C++)
C++ Apache License 2.0 UpdatedDec 17, 2024 -
scx-rs-tutorial Public
This repository contains a minimal implementation of an scx scheduler.
-
-
verus-tutorial Public
A collection of functions with implementations and proofs for an introduction to Verus.
Rust UpdatedAug 4, 2024 -
-
-
sched_ext Public
Forked from sched-ext/sched_extThis repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/
C Other UpdatedJun 17, 2024 -
-
-
ghost-userspace Public
Forked from google/ghost-userspaceC BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2024 -
-
-
autoware.universe Public
Forked from autowarefoundation/autoware_universeC++ Apache License 2.0 UpdatedSep 24, 2023 -
heaphook Public
Forked from tier4/heaphookReplace all the dynamic heap allocation functions by LD_PRELOAD.
C++ Apache License 2.0 UpdatedSep 15, 2023 -
-
utokyo_syspro_baremetal Public
Forked from sykwer/utokyo_syspro_baremetalBaremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo
C UpdatedApr 26, 2023 -
-
-
-
-
-
-
-
-
mikanos Public
Forked from uchan-nos/mikanosEducational Operating System
C++ Apache License 2.0 UpdatedJun 23, 2021