Ir al contenido principal

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



Picasa SlideshowPicasa Web AlbumsFullscreen

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 en la terminal escribimos el siguiente codigo
  • sudo ln -s /usr/lib/libsocket.so.0 /usr/lib/libsocket.so
  • Para verificar si esta bueno, escribimos en la terminal ls -lh /usr/lib/libsocket*









Paso 5. Descargamos el bochs version 2.2.6. Aqui.
Descargamos el pintos. AQUI Lo descomprimos.
Lo descromprimos. En la terminal nos movemos a la carpeta donde lo tenemos instalado y vamos a parchear el pintos.
  • cd /directorio/bochs-2.2.6
  • IMPORTANTE PINTOSDIR es la direccion donde descomprimos el pintos, no lo vayan a pegar, tienen que poner la direccion de la carpeta pintos.
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-big-endian.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-jitter.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-triple-fault.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-ms-extensions.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-solaris-tty.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-page-fault-segv.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-paranoia.patch
  • patch -p1 < $PINTOSDIR/src/misc/bochs-2.2.6-solaris-link.patch
Ahora la instalacion de bochs
En la carpeta de bochs escribimos el siguiente comando
  • ./configure --enable-gdb-stub --with-x --with-x11 --with-therm --with-nogui
  • make
  • sudo make install
Y el bochs esta listo.

Paso 6. Y ahora seguimos con el pintos
  • Entramos a la carpeta donde tenemos pintos. y hacemos un cd
    cd /directorio/pintos/src/utils
  • make
  • sudo cp backtrace /usr/bin
  • sudo cp pintos /usr/bin
  • sudo cp pintos-gdb /usr/bin
  • sudo cp pintos-mkdisk /usr/bin
  • sudo cp pintos-set-cmdline /usr/bin
  • sudo cp squish-pty /usr/bin
  • sudo cp squish-unix /usr/bin
  • sudo cp Pintos.pm /usr/bin
  • sudo chmod +rx /usr/bin/pintos
Con esto deberia de estar listo. Probarlo?
Le damos un cd a la carpeta de pintos
  • cd /directoriopintos/threads
  • make
  • esto nos crea una carpeta build.
  • cd build
  • y corremos el siguiente ejemplo
    pintos run alarm-multiple
  • Esto nos deberia de mostrar una imagen como la siguiente











Comentarios

Comentarios

Entradas populares de este blog

Find which devices are connected to our network

Sometimes, we want to know how many devices are connected to our network. With any Unix OS you get easily know this. For this small tutorial we´re going to use Lubuntu 16.04. We will use nmap. Nmap (Network Mapper) is a security scanner. It is used to discover hosts and services on a computer network. For installing it, we first do sudo apt-get install nmap If we just need to identify the host names  sudo nmap -sL 192.168.0.1/24  The result of this command will be Starting Nmap 7.01 ( https://nmap.org ) at 2016-10-02 12:39 CST Nmap scan report for 192.168.0.0 Nmap scan report for 192.168.0.1 Nmap scan report for 192.168.0.2 Nmap scan report for 192.168.0.3 Nmap scan report for 192.168.0.4 Nmap scan report for 192.168.0.5 If we need to know the OS of the devices we have connected we do a: sudo nmap -O 192.168.0.1/24 The address 192.188.0.1 depends of your network, you should do a ifconfig for knowing yours. The result of this command will be something like this:

Access to AWS Postgres instance in private subnet

I have been working with AWS in the last days and encounter some issues when using RDS.  Generally when you're working in development environment you have setup your database as Publicly accessible and this isn't an issue. But when you're working in Production. So we place the Amazon RDS database into a private subnet. What we need to do for connecting to the database using PgAdmin or other tool? We're going to use one of the most common methods for doing this. You will need to launch an Amazon EC2 instance in the public subnet and then use it as jumping box. So after you have your EC2, you will need to run the following command. See explantion below After this, you will need to configure your PgAdmin. The host name will be your localhost, the port is the same you define in the above command. Maintenance database will be your DB name and the username you have for connecting. Hope this helps you connect to your databases.

Pre order your Super Smash Bros. Ultimate for Nintendo Switch

Are you fan of Super Smash Bros! Don't wait until the last minute, you can pre order you Super Smash Bros Ultimate here This new game has stages and fighters are joined by the combined rosters of every past Super Smash Bros game. If you buy it, you will be enjoying this Limited Time Offer: Piranha Plant Playable Fighter. Buy Super Smash Bros. Ultimate and register your game with My Nintendo by 11:59 PM on Jan. 31, 2019 and get Piranha Plant in your game for free.