PintOS on GitPod

This project, when loaded into GitPod via:

https://gitpod.io#https://github.com/abl/pintos_base

Provides a complete development and debugging environment for PintOS.

About

Languages

Language:C 68.4%Language:Perl 23.4%Language:Makefile 3.6%Language:Assembly 2.5%Language:Python 0.8%Language:C++ 0.7%Language:Shell 0.3%Language:Objective-C 0.3%Language:Perl 6 0.1%Language:Dockerfile 0.0%