Ir al contenido principal

Entradas

Mostrando entradas de abril, 2011

Instalando Pintos

Posiblemente saben que la documentación esta en la pagina web de pintos. Pero tenemos dudas, al momento que seguimos la instrucciones. Este tutorial esta basado en Ubuntu 10.04, en mi opinión personal no importa la versión de Ubuntu, o cualquier distribución basada en debian debería de funcionar. Si lo prueban me avisan. . Paso 1. Vamos a instalar unas cosas, para eso vamos a usar la terminal y escribimos los siguientes comandos sudo apt-get install xserver-xorg-dev xorg-dev sudo apt-get install wx-common wx2.8-headers libwxbase2.8-0 libwxgtk2.8-dev sudo apt-get install libncurses5-dev Paso 2. Abrirl el gestor de paquetes synaptic Paso 3. En la casilla de buscar, escribimos las siguientes librerias, y le damos instalar a cada una de ellas. gcc build-essential perl gdb qemu patch libsocket Paso 4. IMPORTANTE Hya un problema al momento cuando instalamos libsocket. Tenemos que hacer un linkeo. ¿Porque? Pintos la busca en otro lugar, y nuestro sistema la puso en otro. Entonces