There are 1 repository under pintos topic.
Dockerizing PintOS developement environment for KAIST CS330 course
PintOS - Group Project for Sharif's CE424 Operating Systems Course (Based on Berkeley's CS162)
Improvements in PintOS
My own implementation of Pintos Project 4
Priority scheduling, Priority donation and Alarm clock in Pintos.
OS_Pintos_20221 - OS Assignment from OS Class of HUST
Improved Multi-threading capabilities (with priority scheduling) and User Program execution in the PintOS kernel.
My solution to PintOS Threads Project
"Pintos" Operating System(CSE4070), Sogang University, 2019 Fall Season (PRJ1-PRJ3)
vscode extension for PintOS project
Operating Sytems (2023-2): Pintos Project