How to install Pintos on QEMU
Linux, Pintos August 3rd, 2008
Just wanted to share my experience of installing Pintos on Qemu.
First of all install Qemu. In Ubuntu it is available in Universe repository. It is also available in Fedora repositories.
Ubuntu users can install qemu by typing in:
$ sudo apt-get install qemu
and Fedora users can install Qemu by typing in the following command as root user:
# yum install qemu
Note: Fedora 9 users need to make some extra changes as mentioned by Mukund in his comments to the post.
Now we are ready to install Pintos. Download Pintos from here. Extract it in some directory say ~/cs342/
Copy the perl scripts ‘backtrace’ , ‘pintos’, ‘pintos-gdb’, ‘pintos-mkdisk’ from ~/cs342/pintos/src/utils to a directory in PATH. I have added ~/bin into PATH. so i copied these scripts in ~/bin
Now open the script ‘pintos-gdb’ (the one you copied in the ~/bin) in any text editor. Find the variable GDBMACROS and set it to point to ‘~/cs342/pintos/src/misc/gdb-macros’. Now you have installed pintos-gdb.
Next go back to ~/cs342/pintos/src/utils and compile the rest Pintos utilities by typing make.
$ cd ~/cs342/pintos/src/utils
$ make
Copy the script ’squish-pty’ in the ~/bin folder or wherever you saved scripts mentioned above.
Compile pintos :
$ cd ~/cs342/pintos/src/threads/
$ make
Now open the file ~/cs342/pintos/src/threads/Make.vars in any text editor. change the last line to:
SIMULATOR = --qemu
Next open the file ~/bin/pintos (the one you copied in the PATH) in any text editor and edit the following lines:
Line no.24: replace ‘os.dsk’ with ‘~/cs342/pintos/src/threads/build/os.dsk’
Note: Replace ~ with absolute path as perl doesnt identify ~ (Thanks to Kholu 
)
Line no.88 : $sim = “qemu” if !defined $sim;
Line no.110: --qemu (default) Use QEMU as simulator
Line no.111: --bochs Use bochs as simulator
This is all. Now you are ready to run pintos. Check your installation by typing in the terminal:
$ pintos run alarm-multiple
This will create 5 threads and sleep for some predefined times. You can see all these messages in the terminal as well as in a Qemu terminal. Now you are ready to implement changes and enhance pintos.
Happy Coding !!
Very useful post – thanks to this the installation turned out to be a cakewalk.
Remember not to use ‘~’ for the home directory in the pintos file (as I did initially) – perl does not recognize that character. Use the full path instead.
@Gautam
Thanks for reminding this. I will add it in the post.
For those enlightened folks running Fedora 9…
While making utils/, gcc will complain about a missing stropts.h
Google says that stropts.h provides an interface for STREAMS, which have not been supported in any version of Linux for years.
What is means for F9 users: no package will push the error away. We need to modify the code slightly to work around this problem. Nothing much, just 3 locations in 2 files.
At squish-pty.c:10, you will find #include . Comment this out.
Comment out squish-pty.c:289-296. There is some comment here about System V needing STREAMS configuration.
In squish-unix.c, comment out the #include
Since no Linux actually provides an underlying implementation, these are just dummy function calls, and should be safe even on Ubuntu.
@mukund
Thanks
why don’t you use different font for writing codes
e.g. you may use
This is a codething!or change the font to courier new!
@the earlier comment
you may have written
SIMULATOR = --qemuor whatever!@Pankaj
Done !
thanks a lot dude
Thanks a lot..
Hi Spsneo,
you said:” Replace ~ with absolute path as perl doesnt identify ~ ”
I don’t know that ~ shoud be replced with what full path?
it’s the path of place which perl is installed?
tnx.
@alma
Here ~ is the path to your home directory
I know it, but my question was when I want edit “~/cs342/pintos/src/threads/Make.vars”, ~ should be raplaced whit what absolute path, the path of perl intallation folder?
thanks a lot.
Thank You very much!
It works and my pintos is ready t run.
be HAPPY!
@Alma
you should edit it as “/home//cs342/pintos/src/threads/Make.vars”
It was more helpful than you can imagine!
Thnx alot!
The Pintos download page has been changed to http://www.scs.stanford.edu/07au-cs140/pintos/pintos.html
Thaks Aveek. I have updated the link
Thank you, this helped my alot.
thanks for the info on getting squish-pty/unix to compile. i’m running Linux Fedora 12 and the comment by Mukund helped me get things to compile correctly. much appreciated. fwiw, i used yum to install qemu *first*, then bochs. i can run pintos with both.
also, that link location is pointing to the cs140 homepage for the autumn 2007 quarter. this is the more general stanford homepage for pintos: http://www.stanford.edu/class/cs140/projects/pintos/pintos.html
HTH,
matias
Thanx a lot for this post.
This is one of the most helpful posts I have ever found on the web.
Worked in one go.
Thanx a lot.
Thanks alot for this helpful topic.
I installed pintos.
May I ask you a few questions about improving pintos code?
Hi,
I followed your mentioned steps.
But qemu simulator does not work on pintos.
Maybe because my linux is Ubuntu.
can you help me in this regard?
Hi,
I’ve done all of your instructions. But i faced the following problem:
~$ pintos run alarm-multiple
Cannot find OS disk
Please help me about that…
@Mahdi
This is because you have not given proper path of os.dsk in ~/bin/pintos file.
while running following
pintos -f -q
it is giving init.c -f is invalid option
Great Article! Thanks! Made Installing Pintos real easy!