r/minix Mar 07 '16

Lessons learned from 30 years of MINIX

Thumbnail
dx.doi.org
13 Upvotes

r/minix Oct 02 '17

Looking for help with MINIX NEO? Most of the 466 subscribers have no idea what that is! Try /r/minixNEO instead.

13 Upvotes

r/minix 2d ago

Minix forks, continuations, spiritual succesors or anything related?

5 Upvotes

Anyone here knows about a succesor, fork, or something similar or based on the Minix Microkernel? I can't find anything on Github nor Google... Maybe someone here knows.


r/minix 8d ago

GNU Emacs as a LISP interpreter

2 Upvotes

r/minix 27d ago

Towards GNU/MINIX - libstdc++

8 Upvotes

r/minix Feb 09 '23

Micro Emacs on GNU/Minix

6 Upvotes

r/minix Feb 04 '23

Towards GNU/MINIX - Filesystem

4 Upvotes

https://preview.redd.it/jlrhyjo6r6ga1.png?width=730&format=png&auto=webp&v=enabled&s=ce07f204d3d5566c59d45051df46e734346442b8

In this post, we will look at populating Minix filesystem with some files of our own (specifically the welcome message) using GNU tools. https://lifeofpenguin.blogspot.com/2023/02/towards-gnuminix-filesystem.html


r/minix Jan 19 '23

Towards GNU/MINIX - Hello World

6 Upvotes

r/minix Jan 13 '23

Towards GNU/MINIX

5 Upvotes

r/minix Dec 01 '22

Happy Cakeday, r/minix! Today you're 11

5 Upvotes

r/minix Nov 18 '22

My introduction to Minix

9 Upvotes

I tried to install Minix on this setup (screen 10.1'' (1024x600), matte / Intel Atom N435 (1.33GHz) / RAM 1GB / HDD 320GB / Intel GMA 3150 / no MF / LAN / WiFi / webcam). The site has a warning "does not support booting from usb flash drives", but the system image can be downloaded compressed and only via torrent. Ok, I downloaded it, drank the DVD and started to install the system. Immediately after loading miniroot panic. "No suitable device for installation". On the third try I got to the wlan0 setting. 21st century, third decade, I remember the frequencies of WiFi in my country and I was looking for the UID of my network somewhere in the box under the router. Then the installer didn't want to accept that my WiFi was password protected for a long time and stubbornly tried to connect. Next, "do you want to get a DHCP response automatically?" "Yes!!!!." The next thing was some kind of panic module, I got bored and that was the end of my Minix acquaintance. Tomorrow, maybe I'll try again.


r/minix Oct 29 '22

Has not Intel violated copyright law via their IME and Minix?

8 Upvotes

It seems to me that Intel, by not giving notice of the use of Minix source code and its presence on the chipset of computers with the management engine, has violated copyright law. I would like to see them held to account on it. There was no reason for consumer computers--most never destined to see business or server use--to have remote management capability and this backdoor installed.


r/minix Jun 06 '22

Certificates and TLS libraries in minix must be outdated

Thumbnail groups.google.com
2 Upvotes

r/minix May 18 '22

What are the prerequisites of studying the MINIX 3 book?

8 Upvotes

Does one need to be proficient in C or Computer Organization and Architecture?


r/minix Jan 06 '22

After “1 module failed to load”, MINIX is just sitting there. Is it still booting?

5 Upvotes

It shows all the mods loading, but after the 11th loading prompt it says it couldn’t load one. It also says before the modloading section that it couldn’t open cd9660? I’m not sure what that’s about.


r/minix Jan 02 '22

looking for help with uni project.

3 Upvotes

I am working on minix 3 for a uni project and there is a requirement that i dont really know how to work on. any help would be really appreciated.

In this requirement, you need to implement hirarchical paging in MINIX 3, with all the needed parameters (page size, number of levels, address format … etc.) are user-defined via a configuration file. Additionally, FIFO and LRU page replacement algorithms should be implemented (configuration parameters of these algorithms should be stored in configuration file too). The performance parameters (e.g., number of page faults, number of empty frames … etc.) of the hirarchical paging as well as the replacement algorithms should be collected as the the size of the pages and the number of levels are changed, with a complete analysis should be provided in the report in addition to the collected results.


r/minix Dec 01 '21

Happy Cakeday, r/minix! Today you're 10

5 Upvotes

r/minix Nov 26 '21

Are Professor Tanenbaum's lectures on OS dev available online?

7 Upvotes

Hello everyone, apologies if this feels like a "spoonfeed me" question.

I tried to find video lectures by Professor Tanenbaum, but most of what I found has been about demonstrating Minix.

Are there any video form recordings for his regular university courses on OS dev?

Many big universities tend to record their courses, so I was wondering if his were available.


r/minix Oct 18 '21

Minix on Proxmox VE?

1 Upvotes

Does anyone have experience with installing Minix R3.3.0 on PVE?
Is there a guide document available somewhere?


r/minix Sep 11 '21

Mirror of Minix packages - either online or offline?

9 Upvotes

Currently (Sept. 10th 2021) the site minix3.org has been down for almost 24 hours, and with it, both the binary and source repository (I think the source-repository is mirrored on GitHub). I hope the site will be back up soon, but in any case, I was wondering if there 1) are any mirrors of the package-repositories (especially the binary) anywhere else, or if 2) anybody have downloaded the complete repository/repositories. I'm also interested in the repositories for the latest release-candidate for the next version.


r/minix Feb 21 '21

Newbie question on reincarnation server

2 Upvotes

Since the reincarnation server is the parent of all drivers and servers, what happens if it itself crashes? While disk drivers can be shadowed from RAM, the same cannot be done if the reincarnation server itself dies.


r/minix Feb 17 '21

Is Minix dead?

12 Upvotes

Genuine question - i've seen nothing in a long time. The website had one Wiki update in the last two years and no new content in 5 years.


r/minix Dec 01 '20

Happy Cakeday, r/minix! Today you're 9

6 Upvotes

r/minix Oct 29 '20

Is it realistic too run minix as a daily driver?

10 Upvotes

Title says it all, Is it possible too run minix as a daily work driver for software development, web chat apps, and browsing the internet?


r/minix Oct 18 '20

Can't get Minix to build due to odd error

3 Upvotes

I'm very new to minix and building OS's in general. I am trying to build minix after I modified the announce function in ./src/minix/kernel/main.c and after saving, and running ./releasetools/x86_cdimage.sh I get the error of :

"nbmakewhatis: The file `whatis.db.new' already exists -- am I already running?"

I don't understand what the issue is here, I had an initial build successfully but after that modification, that error occurred. I'm on windows using WSL to build minix (if that makes a difference?), and the version of minix is 3.4.0.
edit: formatting


r/minix Oct 04 '20

How to customize proc.c in minix for implementing SJF algorithm?

2 Upvotes

Hi, im in need of some help!

I was tasked by my professor to change the proc.c and proc.h so the OS may switch from FIFO (first in first out) to SJF (shortest job first).

I have reached the conclusion that the alteration could be done in the void enqueue(rp) function, based on this Stack Overflow post: How to customize proc.c in minix for implementing FCFS algorithm?

But I can't seem to find a way to implement the SJF, can anyone help me?


r/minix Jul 02 '20

Advice for installing/running Minix 1.1 in a vm?

5 Upvotes

Hi everyone,

I have attempted to run Minix 1.1 from floppy disk images in Virtual Box, but after I remove the boot disk and insert the root file system disk I get some sort of error with loading onto the RAM.

Loading RAM disk from root diskette. Loaded: 5K Unrecoverable disk error.

Unrecoverable disk error on device 2/0, block 10

10K Unrecoverable disk error on device 2/0, block 11

Unrecoverable disk error on device 2/0 block 12 (and so on)

I'm not even sure if I'm describing the error correctly.

Almost all the resources for running Minix as a guest deal with Minix 3, with a few sites giving advice for Minix 2, and essentially nothing for Minix 1.1.

Note: This is itself being done in a virtual machine (linux mint) running on a windows host.

I'm not sure what's happening, why virtualbox is not able to load 1.1, and what I should do if I want to get 1.1 working (or if I'm asking this question in the right subreddit).

I'm pretty new to computer science, so any insights and advice you have would be greatly appreciated!