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:

Nmap scan report for 192.168…

La ultima alegría de los sampedranos del 2017

El año 2017 esta por terminar, y para la ciudadanía de la capital industrial ha sido un año singular. La ciudad se enorgullecía de que en nuestro Aeropuerto Ramon Villeda Morales, íbamos a tener el único vuelo directo entre Europa y Honduras. Finalmente se empezaba a ver obras de infraestructura concluyendo en el tiempo establecido. Se podían observar los cruces de cebra en las intersecciones de la tercera avenida y primera calle, aparte que los conductores empezaron a respetarlos, y no digamos los semáforos peatonales que lindo es ver como la ciudadanía espera su momento para cruzar por el lugar que le corresponde.

Parecía que este 2017 iba a ser un año de alegrías para la ciudad, y que no iba a suceder  algo que lo podría devastar esas pequeñas alegrías que nos hacían olvidar todas esas políticas de gobierno provenientes de la capital, que han perjudicado al  territorio nacional y no digamos a la ciudad que produce mas del 40% del PIB del país .

Llegaban las elecciones y el actual a…

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.