#

pintos

Here are 3 public repositories matching this topic...

hangpark / pintos-dev-env-kaist

Dockerizing PintOS developement environment for KAIST CS330 course

docker boilerplate os pintos

Updated Apr 14, 2017
Shell

gbenm / pintos-checker

Github action for PintOS project

pintos pintos-project pintos-os

Updated Jan 26, 2023
Shell

subinlee99 / Pintos

Sogang Univ. 운영체제(OS) 수업 Pintos 프로젝트

os operating-system pintos pintos-threads

Updated Mar 5, 2023
Shell

Improve this page

Add a description, image, and links to the pintos topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the pintos topic, visit your repo's landing page and select "manage topics."