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,...

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 l...

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 Opera...

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 Mi...

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 Min...

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 s...

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 helpfu...

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 abov...

I have included the following libraries into my code. #include <minix/drivers.h> #include <curl/curl.h> #include <sys/stat.h> #include <time.h> #include <assert.h> #i...

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...