Guía de instalación de pintos

GUIA DE INSTALACIÓN DE PINTOS
Pintos es un sistema que nos permitirá tener un acercamiento al cómo se implementa un
sistema operativo real, pues a pesar de que pintos no es un sistema muy agradable para ser
usado como tal, si es adecuado para conocer un poco el esquema básico de una
implementación de un sistema operativo.
Pintos por si solo ya es un sistema operativo completo, es decir,cuenta con las funcionalidades
básicas de un sistema operativo. Sin embargo es necesario agregarle algunas funciones y
optimizar otras, para ello primero debemos instalar pintos para después poder trabajar con él.
Pintos está diseñado para correr en una arquitectura 8086, por lo que se puede instalar en
cualquier máquina de estas características. Por razones prácticas y para poder trabajar demejor manera en la implementación de Pintos, es altamente recomendable instalarlo sobre
una máquina virtual sobre un sistema tipo Linux. En esta guía se mostraran dos formas de
instalarlo, para dos máquinas virtuales diferentes: bosch y qemu. Cabe señalar que la
instalación con bochs es un poco más laboriosa, pero también es más recomendable, pues
pintos trae muchas opciones para correr conbochs.
REQUERIMIENTOS
Para poder instalar pintos con una máquina virtual es necesario tener instalado una
distribución de Linux, pintos no corre sobre Windows, por lo que si no tienes un distribución
Linux, debes instalar una para poder instalar Pintos. Este tutorial explica como instalar pintos
sobre un sistema Ubuntu 9.10 pero en principio, es lo mismo para todas las distribuciones.
También esnecesario tener algunas utilidades de Linux tales como: make, patch, gcc, g++ y
para el caso de la instalación con bochs también son necesarias algunas bibliotecas de las X
window's y de ncurses, la instalación de las mismas se explicará más adelante.
INSTALACIÓN CON BOCHS
1. Descarga Pintos de la página de Stanford:
http://cs140.scs.stanford.edu/pintos/pintos.tar.gz
2. Descarga bochs 2.2.6de uno de los siguientes enlaces:
http://sourceforge.net/projects/bochs/files/bochs/2.2.6/bochs-2.2.6.tar.gz/download
http://downloads.sourceforge.net/bochs/bochs2.2.6.tar.gzmodtime=1138548692&big_mirror=1
3. Descomprime el archivo pintos.tar.gz en un el directorio que prefieras.

4. Debes crear tres variables de entorno con los siguientes contenidos:
SRCDIR: Debe tener el directorio dondetienes el archivo boschs-2.2.6.tar.gz, es decir si la ruta
de ese archivo es /home/miHome/boschs-2.2.6.tar.gz, entonces la variable debe tener
/home/miHome.
PINTOSDIR: Debe ser la ruta del directorio donde se encuentra el src de pintos, por ejemplo, si
descomprimiste el directorio en tu home, esta variable debe tener algo del estilo
/home/miHome/pintos, pues el directorio donde se descomprimePintos se llama pintos y
dentro de este viene otro directorio que se llama src.
DSTDIR: Debe contener la ruta donde quieres que se coloque los binarios de bochs, es
recomendable poner en esta variable la ruta de tu home, pues después de compilar bochs se
creará un directorio llamado bin.
NOTA: si en tu home ya tienes algún directorio llamado bin no le pongas a esta variable la ruta
de tuhome.
Para definir estas variables temporalmente abre una terminal y ejecuta estos tres comandos:
export SRCDIR=”/home/miHome”
export PINTOSDIR=”/home/miHome/pintos”
export DSTDIR=”/home/miHome”
Nota: La terminal donde ejecutes estos comandos no la debes cerrar, pues en ella se debe
realizar la compilación de bochs.
5. Para poder compilar bochs correctamente con los parches para pintos, esnecesario que
tengas instaladas las siguientes bibliotecas y programas:
• build-essential
• libwxgtk2.6-dev
• libx11-dev
• libxmu-dev
• libxmuu-dev
• libncurses5-dev
• patch
• perl
• make

Se puede instalar los paquetes externamente o usar el gestor de paquetes de tu distribución.
6. Ahora entra en el directorio misc/ que se encuentra en el directorio src de Pintos y ejecuta el...