Stack Overflow
Stack Overflow

Questions tagged [minix]

is a Unix-like computer operating system based on a microkernel architecture created by Andrew S. Tanenbaum for educational purposes.

MINIX is a Unix-like computer operating system based on a microkernel architecture created by Andrew S. Tanenbaum for educational purposes; MINIX also inspired the creation of the Linux kernel.

MINIX (from "mini-Unix") was first released in 1987, with its complete source code made available to universities for study in courses and research. It has been free and open source software since it was re-licensed under the BSD license in April 2000.

Sizeable subset of Minix source code is also published in the book by its creator Design and Implementation of Operating Systems.

230 questions
1
vote
0 answers

Are Minix system calls in C atomic in nature?

I have got a project where I have to implement semaphores in Minix. In order to implement them I need to make the semaphore wait and signal functions atomic. My idea is that Assuming that system calls are atomic in Minix ,I will create new system…
Harsh Agarwal
  • 675
  • 2
  • 13
  • 28
1
vote
0 answers

VMware - Minix 3 - pkgin error

I have set up Minix 3.3.0 on VMware 12.5.2 Ubuntu 16.04, Linux 4.4.8 When I try running # pkgin update I get an error saying pkgin: Can't open database /usr/var/db/pkgin/pkgin.db: unable to open database file: No such file or directory I have…
codesome
  • 81
  • 5
1
vote
1 answer

C program to get child process id's from just a parent id (minix)

So given a process id passed to the system call, I need to return all child process ids. This must be written in C. I have used mproc to get the parent process of a child pid and list all processes from a certain index but cannot make the leap from…
Josh
  • 529
  • 6
  • 21
1
vote
0 answers

Why is Minix not "saving" '.o' files when I rebuild using 'make services'/'make install' (and last modification date in the future)?

I'm having some trouble with Minix. Whenever I navigate to /usr/src/releasetools and do 'make services' then 'make install', it appears as if the program doesn't update. So for example, when I go to /usr/src/servers/pm and modify my C file…
Andrew Coates
  • 119
  • 2
  • 12
1
vote
1 answer

Printing child processes given a pid (MINIX)

I'm working on a project at the moment and as part of it I need to implement system calls/library functions in MINIX. As part of this I need to be able to print a list of child processes of a given process, using its pid. I think I've found part of…
Chris Ayers
  • 21
  • 8
1
vote
0 answers

Creating a bootable .iso file from MINIX OS build

So i have downloaded the source code of Minix3 from git following the instructions given on their page git clone git://git.minix3.org/minix minixsrc I am using ubuntu 16.0.4 and I cross compiled the code from the linux terminal sh build.sh -mi386…
Ankur Sarode
  • 11
  • 1
1
vote
1 answer

Writing to a file from the PM or VFS servers (Minix)

I'm trying to write a system call for the Minix system. The system call is required to to seek a position and write to a file in that position. However I am unable to call lseek or write, or fseek, fwrite, from inside the pm server. If I include any…
Fernando Barbosa Gomes
  • 81
  • 9
1
vote
0 answers

How to obtain an inode's data block numbers

I was wondering if there is an easy way to obtain the numbers of the blocks that a specific file is stored to in minix. eg stat() has the information of how many blocks a specific inode has but not the addresses of the actual blocks.
lord boobies
  • 73
  • 1
  • 6
1
vote
1 answer

Where are Minix directory entries?

I am trying to understand the Minix file system structure. I understand that the first block is the boot block, and the second is the superblock; and after the bitmaps the inodes come, followed by data blocks. But where are the directory entries and…
kubuzetto
  • 1,046
  • 1
  • 12
  • 31
1
vote
1 answer

Processes not writing to file?

,This is a rather long question so bear with me. What I'm trying to do is run two processes at the same time. Each process will read a file foo.txt find the last number, increment it and add it back to the file. Since there will be obvious race…
Kshitij Bantupalli
  • 11
  • 3
1
vote
2 answers

sed: Replace a whole line by number overwriting the original file

I am writinig a BASH shell script on MINIX where I want to replace entirely a file's specific line by its number with a certain string, and this replacement to be overwriten to the original file. Not printed on the stdout. The number of the line and…
thomas_p
  • 97
  • 1
  • 14
1
vote
1 answer

Writing shell script on Minix

I'm totally new in writing shell scripts so I could use some help here. I would like to write a script that when run with no parameters it just echo backs, and when it is given a data (.dat) file it displays the content of it. Excuse me for my bad…
Rafael Neokleous
  • 9
  • 5
1
vote
3 answers

Creating a terminal command in Minix

I want to create a command that runs an executable created by compiling a c program. I couldn't find a proper solution. Let's say I have a file named myprogram.c and compile it and have myprogram as . I want to type myprogram in any folder in my…
user3616495
  • 83
  • 8
1
vote
1 answer

Adding print parent process ID system call to Minix

This is is the program to Print Process ID and Parent Process ID's in C using Minix. I'm trying to compile the test code below this code to return the ID's but it isn't compiling. Any help would be appreciated. //Program to print its Process ID,…
Jordan Barnes
  • 31
  • 1
  • 3
1
vote
1 answer

Clarification of book's explanation and source code: #define BITCHUNK_BITS (sizeof(bitchunk_t) * CHAR_BIT)

On Tanenbaum's operating systems design and implementation, p.154 says the bitmap has a bit for each of the NR_SYS_PROCS(32). And at the end of minix/kernel/table.c, there is a check to make sure the number of processes in the boot image is not…
Kevin
  • 97
  • 9
1 2 3
…
15 16