Comments on: How to install Pintos on QEMU

By: Priyank

Priyank — Sun, 17 Apr 2011 12:00:31 +0000

Hello all!

If you are getting the ‘Cannot find kernel’, then go to the “~/pintos/src/threads/build” and then run the command.

Also, os.dsk wsa not found anywhere and it didn’t affect anything .

By: vahab

vahab — Tue, 21 Dec 2010 09:19:15 +0000

hi, again
can i test pintos without vmware.
i mean that i don’t install vmware

By: vahab

vahab — Tue, 21 Dec 2010 08:38:27 +0000

hi,i install it successfully,but when i want to test it i have an error
it is:
bash:/home/vahab/pintos/crs/utils ermission denied
what should i do?
please answer asap.thank you

By: vahab

vahab — Mon, 20 Dec 2010 07:58:37 +0000

i don’t have ‘os.dsk’ in pintos file, also this file in that directory … i did them many time,but again i have same problem … please tell to me, what can i do?

By: Gaurav

Gaurav — Fri, 10 Sep 2010 12:03:54 +0000

I dont have any build directory in my threads directory within the src…. so build/os.dsk cant be supplied in pintos perl script. What to do ?

By: praveen

praveen — Wed, 08 Sep 2010 09:17:30 +0000

Line no.24: replace ‘os.dsk’ with ‘~/cs342/pintos/src/threads/build/os.dsk’

I followed as mentioned exactly on fedora10.
But I could not find os.dsk in threads/build after the make in threads dir. Nor i could find the word os.dsk in the file pintos.

can someone figure out this?

By: Pranav Agarwal

Pranav Agarwal — Tue, 31 Aug 2010 18:19:25 +0000

Im trying to install PintOS on Ubuntu 9.10
I followed the steps as described above.
But i wasn’t able to locate os.dsk in the pintos file.
and if i ignore it and run pintos from command line, it says “Cannot Find Kernel”.
pls help !!

By: mailper

mailper — Sat, 21 Aug 2010 04:29:31 +0000

I ran the command “pintos run alarm-multiple” without editing the os.dsk (because it is not anywhere), I got the error message about not finding pintos.pm file, I copied the pintos.pm file from pintos/src/misc directory, and ran the ‘pintos run alarm-multiple’ again. Got the following error message:

qemu -no-kqemu -hda /tmp/mLMynr0hqL.dsk -m 4 -net none -serial stdio
qemu: invalid option — ‘-no-kqemu’
command failed

By: mailper

mailper — Sat, 21 Aug 2010 04:08:55 +0000

content
“Line no.24: replace ‘os.dsk’ with ‘~/cs342/pintos/src/threads/build/os.dsk’”
is not longer available.

the source file has been changed? the new Line no.24 is:
our (@puts); # Files to copy into the VM.

and there is no “os.dsk” anywhere in “pintos” file.

By: kafka

kafka — Wed, 21 Jul 2010 15:23:57 +0000

i can’t find os.dsk in pintos …i have completed the remaining procedure…it is currently giving “cannot find kernel” when i run pintos run alarm-multiple

Please suggest