Stack Overflow
Stack Overflow

Questions tagged [pintos]

Pintos is a simple instructional operating system framework for the 80x86 architecture. The software supports kernel threads, loading and running user programs, and a file system, but it implements all of these in a very simple way.

Pintos OS - Git Repo

Courses using Pintos include:

58 questions
0
votes
2 answers

PintOS Installation in Bochs

I am installing Pintos in Bochs for past several days. Everything compiled fine in the "threads" directory and I have also set all the paths fine. I have the kernel.lo and other files in the build directory. The problem is with the last command I…
Shahrukh Azhar
  • 59
  • 1
  • 1
  • 6
0
votes
2 answers

Emacs - GDB trace right to interrupt without stepping through all files

I am working on Pintos OS project. I get this message: Page fault at 0xbfffefe0: not present error writing page in user context. The problem with Pintos OS project is that it won't simply tell the line and method that caused the exception. I know…
Anton Kim
  • 879
  • 13
  • 36
0
votes
1 answer

porting pintOS to Raspberry-pi

For a 6 months long project, i was thinking to write PintOS like OS for raspberry-pi. Since i am a beginner, having no practical knowledge of operating system, i thought of start with porting (PintOS) rather than writing OS of my own. My questions…
urocksss
  • 1
  • 3
0
votes
1 answer

unable to run pintos on ubuntu QEMU with ssh because it "Could not initialize SDL (No available video device)"

I have set to run pintos on my own ubuntu desktop 14.04. For now it runs perfectly on the desktop, as shown in the image below. Using this ubuntu as a server as well, I wish I could run QEMU via ssh as well. I know that it is possible to run bochs…
zoonoo
  • 485
  • 1
  • 6
  • 13
0
votes
1 answer

What check to make in exec-missing in PINTOS

I am working on Pintos Project # 2. I have implemented most of the system calls. In exec system call, there is a test exec-missing which according to comment in file checks this: /* Tries to execute a nonexistent process. The exec system…
Iffat Fatima
  • 1,610
  • 2
  • 16
  • 27
0
votes
0 answers

Want to debug Pintos with Eclipse

Pintos: http://courses.mpi-sws.org/os-ss11/assignments/pintos/pintos_11.html Goal: properly execute the instructions in the link under "F2: Eclipse". They don't work for spit. I can communicate between 2 terminals via "target remote localhost:1234",…
Dylan_Larkin
  • 503
  • 4
  • 15
0
votes
1 answer

System call implementation in Pintos

I want to implement the already defined system calls in PintOS ( halt(), create()...etc defined in pintos/src/lib/user/syscall.c ). The current system call handler in pintos/src/userprog/syscall.c does not do anything. How do I make a process…
Dynamite
  • 341
  • 2
  • 5
  • 17
-1
votes
1 answer

Pintos, make check failed. Run didn't start up properly: no "Pintos booting" message

I found that someone has asked a relevant question before PintOS, kernel panic with -v option bochs on ubuntu However, I tried but it didn't work. "pintos -- run alarm-multiple" seems fine but when I do "make check" ...... Run didn't start up…
Felix Gao
  • 91
  • 1
  • 4
-1
votes
1 answer

How do I change my makefile to avoid the undefined reference to a function in the maths library?

I'm trying to install PintOS on my local Ubuntu 14.04 machine. When I try to run make to compile the utilities. I get the following error. ankitkal@ankitkal-Inspiron-5521:~/os/pintos/src/utils$ ls backtrace Makefile pintos pintos.~1.55.~ …
Ankit
  • 27
  • 1
  • 10
-1
votes
1 answer

Does anybody know where is LD_PRELOAD variable, in which file?

Just as the title said, I don't know where does this variable locate. I just know how to change it by typing: $ export LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libXpm.so.4 Then is it possible to change it in its file?
JasonLi
  • 249
  • 3
  • 9
-1
votes
1 answer

Bochs compilation error on Cygwin

I am trying to build Bochs on Cygwin in accordance with this tutorial at section G.1. When I attempt to enter the command ./configure --enable-gdb-stub I get the following output: checking build system type... i686-pc-cygwin checking host system…
Allen
  • 162
  • 2
  • 3
  • 15
-2
votes
1 answer

PintOS proj2 userprog Kernel Panic in formatting the file system partition

pintos -f -q This command will cause this error 00000000000i[ ] reading configuration from bochsrc.txt 00000000000e[ ] bochsrc.txt:8: 'user_shortcut' will be replaced by new 'keyboard' option. 00000000000i[ ] installing nogui…
YIMIN TANG
  • 622
  • 1
  • 5
  • 6
-2
votes
1 answer

type definition error when compiling code

I have run this code on another Linux environment where it works, but when I run this code on my machine it shows an error. The code is: void *functionC(void* ptr) { dint* pointer=(int*)ptr; pthread_mutex_lock( &mutex1 ); int i; …
pithoro
  • 1
  • 1
1 2 3
4