4 ms·

MINIX 3 is the goto, I believe? At least it was when I was researching them. https://git.minix3.org/index.cgi?p=minix.git https://git.minix3.org/index.cgi?p=mi

by smcn 4y ago

MINIX 3 is the goto, I believe? At least it was when I was researching them. https://git.minix3.org/index.cgi?p=minix.git https://git.minix3.org/index.cgi?p=minix.git Happy to be wrong though, I'd like new code to look at.

bjconlan 4y ago
I was very impressed by this https://youtu.be/jMkR9VF2GNY https://youtu.be/jMkR9VF2GNY which also states minix 3 (from the author) is now a microkernel and hosts a modified netbsd like (service based) system.
- smcn 4y ago
  Thank you very much! Really excited to dig into this.
exikyut 4y ago
Yay, since noone else has mentioned it, I get to add :) that the standard "why is minix interesting" nowadays is "it runs the Intel ME in a gazillion CPUs". That says something about what one bunch of Very Careful Engineers think about the implementation's uptime and reliability provenance... (The ME-cleaner project has identified that if Intel ME does not initialize, the CPU resets a few minutes after power on - so this suggests that a hard-unrecoverable error would leave the CPU unusable.)
TallGuyShort 4y ago
Also, there aren't many OSs that have books to teach you about them, but MINIX does. Operating Systems: Design and Implementation by Andrew Tanenbaum. I suppose the value you get for free in MINIX 3, you pay for if you want the book...
- vram22 4y ago
  The long flamewar between Linus and Tannenbaum was interesting to read, at least briefly. https://en.m.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_debate https://en.m.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_d...
- andyjohnson0 4y ago
  > Operating Systems: Design and Implementation by Andrew Tanenbaum I had a student edition of that book, back in the late 1980s. It had a full listing of the Minix source code as an appendix: fascinating to be able to sit in a comfortable chair and read a large body of code. I referred to it a lot when i was learning C. I'm guessing Minix has got bigger since then though.
  - TallGuyShort 4y ago
    Yeah I believe Minix is actually a complete rewrite intended to be more useful in the real world than just a teaching toy (and at that it has been successful). I can't imagine enjoying reading the source code apendix from a book as much as you seemed to have done :D But I did learn a lot from the main text of the book. Pretty hard for me to dive into even a simple hobbyist OS and figure things out from scratch.

by smcn 4y ago

bjconlan 4y ago

I was very impressed by this https://youtu.be/jMkR9VF2GNY https://youtu.be/jMkR9VF2GNY which also states minix 3 (from the author) is now a microkernel and hosts a modified netbsd like (service based) system.

smcn 4y ago
Thank you very much! Really excited to dig into this.

exikyut 4y ago

Yay, since noone else has mentioned it, I get to add :) that the standard "why is minix interesting" nowadays is "it runs the Intel ME in a gazillion CPUs". That says something about what one bunch of Very Careful Engineers think about the implementation's uptime and reliability provenance... (The ME-cleaner project has identified that if Intel ME does not initialize, the CPU resets a few minutes after power on - so this suggests that a hard-unrecoverable error would leave the CPU unusable.)

TallGuyShort 4y ago

Also, there aren't many OSs that have books to teach you about them, but MINIX does. Operating Systems: Design and Implementation by Andrew Tanenbaum. I suppose the value you get for free in MINIX 3, you pay for if you want the book...

vram22 4y ago
The long flamewar between Linus and Tannenbaum was interesting to read, at least briefly. https://en.m.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_debate https://en.m.wikipedia.org/wiki/Tanenbaum%E2%80%93Torvalds_d...
andyjohnson0 4y ago
> Operating Systems: Design and Implementation by Andrew Tanenbaum I had a student edition of that book, back in the late 1980s. It had a full listing of the Minix source code as an appendix: fascinating to be able to sit in a comfortable chair and read a large body of code. I referred to it a lot when i was learning C. I'm guessing Minix has got bigger since then though.
- TallGuyShort 4y ago
  Yeah I believe Minix is actually a complete rewrite intended to be more useful in the real world than just a teaching toy (and at that it has been successful). I can't imagine enjoying reading the source code apendix from a book as much as you seemed to have done :D But I did learn a lot from the main text of the book. Pretty hard for me to dive into even a simple hobbyist OS and figure things out from scratch.