/r/minix

Photograph via snooOG

MINIX 3 is a Modular, Self-Healing POSIX-compatible Operating System, by Andrew S. Tanenbaum + numerous others.

MINIX 3 is a Modular, Self-Healing POSIX-compatible Operating System, by Andrew S. Tanenbaum + numerous others. http://youtu.be/bx3KuE7UjGA


http://www.minix3.org/


Looking for MINIX OEM NEO Series? Try /r/minixOEM or /r/minixNEO.


MINIX 3 Features

  • POSIX compliant
  • Full multiuser system
  • Standard networking
  • Device drivers as user processes
  • Highly fault tolerant
  • Easily virtualisable
  • X Window System
  • cc, gcc, g++, perl, python, etc.
  • Over 650 UNIX programs available
  • Full source code supplied
  • BSD licence

Download

Wiki

r/pkgsrc

/r/minix

876 Subscribers

4

Change minis OS

Hi,

I moved from neo U9H to Shield a year ago and I was wondering if the minix can be re-purposed as a standalone linux server for exemple ?

Thanks

1 Comment
2024/03/10
13:48 UTC

8

Minix 2.0 on a 486 on 2024!!

Hey guys... I'm NOT an advanced Unix user, but I can get my way around a POSIX system... I'm still probably new in some of your eyes, tho. :P

First, I posted a new Minix 2.0.4 YT video - you might find it fun in 2024... here's a link: https://youtu.be/y3zlb7SrI0I?si=CslfRY4cfCKrF5mW

Anyway, I've got her installed on a 486 machine and now I want to compile some software!!!! I'd like to build some fun stuff; top, htop, cmatrix, nms - something fun.

My question is - I've having a hard time even mounting a floppy disk;

$ mount /dev/fd0 ./mnt/
mount: Can't mount /dev/fd0 on ./mnt/: Invalid argument

What invalid argument???? Anyway - anyone wanna chat me up and get me going on build out this system??? I installed the NET.TAZ stuff, so I wanna get networking going on this beast too - but I need a bit of help. :P

Yes, I RTFM!

9 Comments
2024/02/19
05:29 UTC

8

minix3.org is back!

It seems minix3.org and its subdomains are back online!

2 Comments
2023/12/26
23:16 UTC

7

Apparently, minix3.org is down for security issues

In the Google Groups MINIX community, someone stated the mini3.org website was down. So there was this answer, from Dec. 24th.

I was informed there was a security issue and the site is being transferred. DNS updates are expected to take about a week.

Merry Christmas, and Happy New Year!

1 Comment
2023/12/25
18:09 UTC

6

Are you having trouble accessing the minix3.org website?

When I tried to access www.minix3.org, the web browser said it could not resolve the DNS. I tried setting my computer's DNS to Google's, Couldfare's and one IANA root. Not one worked.

When I tried looking it up on NsLookup.io, it answered me, apparently with Cloudfare's DNS. The IP (66.147.238.215) worked for the homepage.

What happened? Did Tanenbaum forget to pay rent?

0 Comments
2023/12/19
03:52 UTC

1

Looking for a Linux & Unix Discord Community?

Are you passionate about Linux and Unix? 🐧

Do you want to connect with like-minded individuals, from beginners to experts? 🧠

Then you've found your new home. We're all about fostering meaningful connections and knowledge sharing.

🤔 Why We Exist: At the heart of our community is a shared love for Linux and Unix. We're here to connect with fellow enthusiasts, regardless of where you are on your journey, and create a space where our shared passion thrives.

🤨 How We Do It: We foster a welcoming environment where open conversations are the norm. Here, you can share your experiences, ask questions, and deepen your knowledge alongside others who are equally passionate.

🎯 What We Offer:

🔹 Engaging Discussions: Our discussions revolve around Linux and Unix, creating a hub of knowledge-sharing and collaboration. Share your experiences, ask questions, and learn from each other.

🔹 Supportive Environment: Whether you're a newcomer or a seasoned pro, you'll find your place here. We're all about helping each other grow. Our goal is to create a friendly and supportive space where everyone, regardless of their level of expertise, feels at home.

🔹 Innovative Tools: Explore our bots, including "dlinux," which lets you create containers and run commands without leaving Discord—a game-changer for Linux enthusiasts.

🔹 Distro-Specific Support: Our community is equipped with dedicated support channels for popular Linux distributions, including but not limited to:

Arch Linux

CentOS

Debian

Fedora

Red Hat

Ubuntu

...and many more!

Why Choose Us? 🌐

Our server aligns perfectly with Discord's guidelines and Terms of Service, ensuring a safe and enjoyable experience for all members. 🧐 📜 ✔️

Don't take our word for it—come check it out yourself! 👀

Join our growing community of Linux and Unix enthusiasts today let's explore, learn, and share our love for Linux and Unix together. 🐧❤️

See you on the server! 🚀

https://discord.gg/unixverse

0 Comments
2023/10/05
20:51 UTC

2

[META] Don't Let Reddit Kill 3rd Party Apps!

1 Comment
2023/06/06
02:48 UTC

10

Minix forks, continuations, spiritual succesors or anything related?

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.

3 Comments
2023/03/25
20:57 UTC

0 Comments
2023/03/19
14:46 UTC

5

Towards GNU/MINIX - Filesystem

https://preview.redd.it/jlrhyjo6r6ga1.png?width=730&format=png&auto=webp&s=3557ee9065dec4fa49fab39970818926d69df424

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

0 Comments
2023/02/04
14:56 UTC

9

My introduction to Minix

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.

0 Comments
2022/11/18
20:51 UTC

8

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

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.

1 Comment
2022/10/29
11:28 UTC

8

What are the prerequisites of studying the MINIX 3 book?

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

2 Comments
2022/05/18
03:44 UTC

3

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

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.

1 Comment
2022/01/06
20:42 UTC

3

looking for help with uni project.

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.

0 Comments
2022/01/02
08:00 UTC

2 Comments
2021/12/01
23:27 UTC

8

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

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.

2 Comments
2021/11/26
15:10 UTC

1

Minix on Proxmox VE?

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

3 Comments
2021/10/18
11:25 UTC

9

Mirror of Minix packages - either online or offline?

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.

2 Comments
2021/09/11
04:27 UTC

3

Newbie question on reincarnation server

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.

1 Comment
2021/02/21
14:57 UTC

13

Is Minix dead?

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.

9 Comments
2021/02/17
08:12 UTC

12

Is it realistic too run minix as a daily driver?

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?

7 Comments
2020/10/29
19:06 UTC

Back To Top