setting up the pintos environment

[Hars]

Hi,

I am a teaching assistant at the university of Texas at Dallas. I
would like to setup the pintos environment for students to work on
their assignments. How should I get help if I run into some issues.
I tried to setup it on a virtual box with Ubuntu as guest OS. After
resolving few issues I got stuck into problems -- 1) unable to install
debug version of 'bochs'; 2) some unexpected behavior of script
"pintos'.
It is possible that the problem is with 'bochs' in both cases. I tried
to follow the instructions given in 'pintos.pdf' document.

I need some help.

Thanks,
Hars Vardhan

[Rasesh Mori]

Hello Hars,

I am a teaching assistant at IIIT, Hyderabad and I faced the same problem few days back. After collecting information form various places, I have tried to incorporate everything in a blog. I am attaching the link here which may be useful.

pintosiiith.wordpress.com

[Solomon l]

hi guys,

I am currently building a pintos kernel to be booted from usb drive. I tried to follows the steps outlined here,

https://phoenixforge.cs.uchicago.edu/projects/pintos/wiki/BootingPintosUSB

But, I can't fully boot my pintos kernel because of some unexpected interrupts.

Any help will be highly appreciated.

Best regards,

Solomon

[Godmar Back]

From what I recall - I haven't used Pintos in a while - interrupts can always be triggered. Unexpected here means that no handler is registered, if I recall. They are being ignored, so it's not clear that they are the cause of your failure to boot.

In general, the wide variety of hardware makes running Pintos on real hardware difficult.  I was able to boot it on two machines I had access to at the time. On one, it required a fair amount of changes to the USB driver to work around peculiarities in that machine's UHCI controller.  USB drivers in systems like Linux or Windows use numerous tweaks to account to hardware variety in those controllers.  With newer generation hardware, I expect things to be even more problematic since they might only provided backwards compatibility with UHCI.

 - Godmar

--
You received this message because you are subscribed to the Google Groups "Pintos OS" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pintos-os+...@googlegroups.com.
To post to this group, send email to pint...@googlegroups.com.
Visit this group at http://groups.google.com/group/pintos-os.
For more options, visit https://groups.google.com/d/optout.