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
17
votes
1 answer

Is there any documentation about how Minix 3.2 (latest) boot?

I found this site: http://www.os-forum.com/minix/boot/ which claims to document the boot sequence of Minix. But in the source tree of Minix 3.2 I just get from Git, the files described in the above site simply don't exist. They…
smwikipedia
  • 61,609
  • 92
  • 309
  • 482
13
votes
3 answers

Learn Operating System Development using Minix 2 or 3?

I took a class this spring about generic operating system theories and principles, and now I'd like to spend the summer working through Tanenbaum's Operating Systems book, looking through Minix source, and getting a general idea of actual OS…
cost
  • 4,420
  • 8
  • 48
  • 80
12
votes
4 answers

policy and mechanism

I was going through my operating systems textbook and I came across the concept of "separating mechanism and policy". I wasn't sure of what that meant so I checked out wikipedia which I must admit, was not of much help either. The separation of…
user277465
11
votes
1 answer

What is the difference b/w Hurd and Minix?

Knowing both are micro-kernels, what is the difference b/w Mach (on which Hurd is based on) and Minix. Are there any architectural differences? A little light over "what is L4" would be very helpful. I cannot find any documents covering this.
vanangamudi
  • 673
  • 1
  • 8
  • 21
10
votes
5 answers

Minix vs Linux for Learning Operating System Design?

I wish to learn operating system design. I was wondering if I should tackle Minix or GNU/Linux in the process? I like books so I would be following mainly a book, though video resources (presumably videotaped lectures) would also be welcome. I have…
haziz
  • 12,994
  • 16
  • 54
  • 75
7
votes
1 answer

How does the OS know disk address of an absent page?

Paging acts as indirection layer between virtual address space and physical address space. Given an address, the Operating System(OS)/Memory Management Unit(MMU) translates it to a primary memory location. My questions are: In the scenario that the…
Saimadhav Heblikar
  • 702
  • 5
  • 15
6
votes
1 answer

Resolving conflicting type for functions with the same name in two external libraries

I have included the following libraries into my code. #include #include #include #include #include #include Now I get the following error: In file included from…
Joost
  • 1,426
  • 2
  • 16
  • 39
6
votes
3 answers

Does anyone here have experience developing for Minix?

Recently I have become curious about the Minix OS. http://www.minix3.org/ I am very taken with descriptions of its robustness & reliability features, but I have noticed a distinct paucity of software packages available for the platform. Has anybody…
mseery
  • 1,404
  • 2
  • 16
  • 26
6
votes
2 answers

How do I compile Minix source code?

I intend to make modifications to the Minix kernel. But before I start, I want to compile it, so that I know any further compilation issues are caused by things that I did. I have obtained the Minix 3 source code from github, where it is mirrored:…
usernumber
  • 1,958
  • 1
  • 21
  • 58
5
votes
0 answers

Is there a way to access and modify user data from system call in Minix 3? Can I use sys_datacopy() here? Why is my attempt not working?

I want to implement a syscall in the PM server in Minix that has access to some data in the user space, and can modify it. I am passing data to the syscall using Minix's message passing mechanism. In the message structure that is being passed, I…
GoodDeeds
  • 7,956
  • 5
  • 34
  • 61
5
votes
1 answer

Making a Device Driver in Minix

I'm trying to create a character device driver on Minix. I would like it to be able to accept read() and write() calls. My understanding is that I would need to use sys_safecopyfrom() for the function which runs the read() function and…
David
  • 1,398
  • 1
  • 14
  • 20
5
votes
1 answer

How do you free a parent memory in an EXEC call in Minix?

In an EXEC call, I am looking to allow bigger "child process" by making memory through deleting Parent processes's memory. I am using MINIX 3.2 and am planning to modify exec.c to call a modified version of alloc_new_mem in alloc.c Here is the…
Emily Connors
  • 51
  • 1
4
votes
8 answers

Number of Running Processes on a Minix system from C code

So, this seemed simple at first, but after crawling Google and here, the answer doesn't seem as simple as I first thought. Basically, I'm editing a MINIX kernel as part of a practical for my Operating Systems course, and I have to add a little…
Adam Jerrett
  • 43
  • 1
  • 4
4
votes
4 answers

Meaning of public modificator for function in C

PUBLIC void main This is from kernel.c from Minix source. What is the meaning of PUBLIC in this case?
shiro
  • 43
  • 3
4
votes
3 answers

Retrieve a file's inode number by the filename on MINIX

I want to create a new system call in VFS server which will be given a filename as a parameter and will print this certain file's inode number in MINIX3.2.1. I examined the code of the do_stat() function(inside /usr/src/servers/vfs/stadir.c) and i…
man0s
  • 189
  • 3
  • 14
1
2 3
…
15 16