eriklindernoren / TDDB68-PintOS

Linux version of the operating system PintOS

How to set up on IDA computers:

1. Move linuxpintos folder to the home directory of your user.
2. Run 'cd ~/linuxpintos'
3. Run 'chmod +x setup.sh'
4. Run './setup.sh'

About

Linux version of the operating system PintOS

Languages

Language:C 64.0%Language:Perl 19.3%Language:Makefile 13.5%Language:Assembly 2.1%Language:C++ 0.6%Language:Shell 0.4%Language:Perl 6 0.1%Language:DTrace 0.0%