Wiki

ackassemblylanguage

Anonymous (anonymous@undisclosed.example.com) — 2015-01-03T13:05:40+0200

This page describes the assembly language(s) used in MINIX 1.6, MINIX 2.0 and MINIX 3.1. It is not relevant to recent (after 2010) releases of MINIX. MINIX ACK Assembly Language What do the pseudo-ops in Minix assembly code mean? An ACK assembly file can have a number of sections. Things declared in the same section are collected together by the loader in the order they are found in an assembly file and in the order the object files are loaded together. Sections get meaning once they are put …

acpi

Anonymous (anonymous@undisclosed.example.com) — 2014-11-12T13:48:57+0200

ACPI Support for ACPI in Minix has 2 parts, in-kernel code and a userspace driver. Kernel The in-kernel code is used to locate the ACPI information in memory and export this to userland, discover IO APICs and all CPU in a multi-processor system. Userspace ACPI driver

courses

Anonymous (anonymous@undisclosed.example.com) — 2017-05-17T13:32:26+0200

University Courses Using MINIX 3 * Operating Systems Practical, Vrije Universiteit, Amsterdam, The Netherlands * ECS 150: Operating Systems, University of California, Davis, CA, USA * CS 170: Operating Systems, University of California, Santa Barbara, CA, USA * CMPS 111: Introduction to Operating Systems, University of California, Santa Cruz, CA, USA * CSCI 4730/6730: Operating Systems, University of Georgia, Athens, GA, USA * CIS 483: Introduction to Computer & Network Security, Sy…

ddekitusb

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T14:58:20+0200

Information about MINIX 3 USB support We are using the driver portability layer called Device Driver Environment kit to provide support for USB host on the MINIX 3 operating system. The Device Driver Environment was developed for reuse of legacy device drivers. It defines an operating system agnostic kernel application programming interface (

documentationandpackages

Anonymous (anonymous@undisclosed.example.com) — 2021-03-29T22:48:39+0200

Documentation And Packages There are two areas where Minix has some catching up to do: documentation and packages. They provide many small projects, for which not much prior knowledge of Minix is required, which provide a good way to get started with Minix development, and the results of which would be highly valuable to the Minix project.

faq-es

Anonymous (anonymous@undisclosed.example.com) — 2016-07-12T14:38:18+0200

Preguntas frecuentes Preguntas generales ¿Qué es MINIX 3? MINIX 3 es un clónico de UNIX, de tamaño pequeño, diseñado para ser estable y fiable. Está especialmente indicado para PCs de baja potencia, sistemas con recursos limitados y aplicaciones embebidas. Está disponible junto con todo el código fuente, lo que lo hace especialmente indicado para estudiarse en clases o por quien quiera aprender cómo funciona un sistema operativo.

faq

Anonymous (anonymous@undisclosed.example.com) — 2020-07-07T23:11:01+0200

Frequently Asked Questions General Questions What is MINIX 3? MINIX 3 is a small and free UNIX clone designed for very high reliability. It is especially well-suited for low-end PCs, resource-constrained systems, and embedded applications. It is available with all the source code, which makes it well-suited to classroom or self-study by people wanting to learn how an operating system works.

gettinghelp

Anonymous (anonymous@undisclosed.example.com) — 2018-06-16T21:26:32+0200

Getting Help Check the docs first Take a look at the MinixFaq and the UsersGuide to see if your question has been answered. You should also check the Google Group archive. Post to the MINIX 3 Google Group There is an active Google group for discussion of MINIX 3, asking and answering questions, getting help, and other matters related to MINIX 3.

goals

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T14:52:08+0200

MINIX Goals MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability.

googlegroup-emailinterface

Anonymous (anonymous@undisclosed.example.com) — 2016-02-21T19:45:30+0200

Google groups can be used like a mailing-list through its e-mail interface. To subscribe to the Minix3 Google Group you send an e-mail to: minix3+subscribe@googlegroups.com You will receive an e-mail from Google and when you reply you are subscribed. From then on all the messages in the group will be send to your e-mail address.

how-to-build-a-cross-compiler

Anonymous (anonymous@undisclosed.example.com) — 2014-11-17T13:25:01+0200

This page describes a previous effort at cross compilation using GNU make. The currently supported method uses BSD make and is described in Crosscompiling. This is a short how-to describing how to compile gcc cross compiler for sparc64 target (based on my previous work on L4 for sun4v)

howtocontribute

Anonymous (anonymous@undisclosed.example.com) — 2016-04-02T23:21:32+0200

How to Contribute to MINIX This page describes how you can contribute to MINIX. Finding a Project See the for areas where we could use help. Contributing Patches Patches are pieces of code that solve an existing issue. In fact, patches describe the changes between a before and after state. Patches will need to be created against the latest development version of

implementingjobcontrol

Anonymous (anonymous@undisclosed.example.com) — 2015-01-03T13:32:24+0200

Things to do in order to integrate job control within MINIX. Warning: This document has gone stale. In particular, the commits linked, while not actually tested, were in phase with April 2013 view of MINIX and are not usable with MINIX-current. The goal is to have POSIX-class job control in MINIX.

inicio

Anonymous (anonymous@undisclosed.example.com) — 2021-07-10T15:08:48+0200

Minix 3 Wiki Bienvenido a la documentación de MINIX 3 en formato Wiki. Estas páginas contienen la guía de usuario y la documentación del sistema operacional MINIX 3. El formato es un Wiki (tal como Wikipedia), lo que significa que un miembro registrado puede editarlo, puede agregar nuevo material, y puede ejecutar las demás operaciones normalmente própias de un Wiki. Con la ayuda de usuarios voluntários podemos hacer de MINIX 3 un sistema muy bien documentado. Por favor, ayude si tuviere alguna…

installing_minix

Anonymous (anonymous@undisclosed.example.com) — 2016-02-03T23:08:46+0200

Installing MINIX 3 This page describes the process of installing MINIX on Intel PC. For instructions on installing MINIX/arm, see Minix on ARM. Getting MINIX Download the CD-ROM installer image from the download page. Preparation & Booting Please make sure your system meets the

installingbinarypackagesonolderreleases

Anonymous (anonymous@undisclosed.example.com) — 2015-01-03T13:28:49+0200

This page describes the packaging system used in early releases of MINIX 3.1. It is not relevant to recent (after 2008) releases of MINIX. Installing Binary Packages (Release 3.1.7 and below) Minix 3.1.7 and below provides packman to manage binary packages. Newer releases uses pkgin and pkgsrc. See

lancefix

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T14:52:08+0200

Lance Driver Fix This fix is only necessary for MINIX versions below 3.1.4. In MINIX 3.1.3, the AMD Lance NIC device driver does not work. There are two reasons for that problem: * The lance driver needs to be loaded within the first 16MiB of memory, for DMA purposes. The servers loaded before the lance driver add up to more than 16MiB, so that the lance driver falls outside that area.

mascot

Anonymous (anonymous@undisclosed.example.com) — 2016-01-13T01:55:12+0200

The Raccoon Mascot MINIX 3 has a mascot: a raccoon. The raccoon was chosen because raccoons are small, agile, intelligent, friendly -- and best of all -- eat bugs (at least, when there are no garbage cans available). And, being cute doesn't hurt either.

mascotpick

Anonymous (anonymous@undisclosed.example.com) — 2015-06-27T23:06:21+0200

minixarchivecollections

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T16:41:12+0200

Minix Archive Collections A collections that was taken from the Minix and comp.os.minix groups. Minix Issues * How to set the timezone? (0906). Discussion Question: Can this stuff be added to the faq and the PostInstallation instead? It would probably easier for the user to find stuff there.

minixmissingvsbsd

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T15:10:55+0200

Minix aims to support a modern BSD look and feel. This page documents features missing in Minix that you'd expect in a modern BSD but are missing in Minix. * memory-mapped files (there is a minix_mmap() but it doesn't map files) * job control (setpgid()) *

minixperformance

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T14:52:08+0200

This page is to collect observations and experiments related to performance of minix. Starting point There are countless ways to talk about performance, so let's start with one simple case that is both relevant for our daily usage and displays terrible performance: gcc and clang on minix.

networkingconfiguration

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T15:11:48+0200

Networking Configuration Note about debugging your network configuration under virtualization Most virtualization software offer many types of network virtualization. For example, the QEMU default network configuration supports for example http but not ICMP. Therefore testing your network connection with ping doesn't work.

publications

Anonymous (anonymous@undisclosed.example.com) — 2016-04-17T21:18:46+0200

Publications relating to MINIX 3 Book * Operating Systems: Design and Implementation 3/e, Tanenbaum, A.S. and Woodhull, A.S., Upper Saddle River, NJ: Prentice Hall, 2006. Research papers Conference * Towards a Flexible, Lightweight Virtualization Alternative, Moolenbroek, D.C. van, Appuswamy, R., and Tanenbaum, A.S., Proc. Seventh Int'l Systems and Storage Conf. (SYSTOR '14), pp. 1

reportingbugs

Anonymous (anonymous@undisclosed.example.com) — 2014-11-17T17:07:00+0200

Reporting Bugs This page describes the process of reporting a bug. How to report If you've found a bug, please open an issue at . The bug will have a bigger chance of being solved (faster) if * you provide a good description; * even better, you provide a good (minimal) way to reproduce it

resources

Anonymous (anonymous@undisclosed.example.com) — 2021-07-10T15:15:01+0200

MINIX Resources This page lists various MINIX resources. Official MINIX 3 Resources * MINIX 3 website * MINIX 3 google group * MINIX 3 development google group * MINIX 3 on GitHub, including source code mirror, issues (our bug tracker) and pull requests * MINIX 3 general chat IRC: #minix on Libera Chat (Webchat interface to Libera Chat) * MINIX 3 support IRC: #minix-support on Libera.Chat (Webchat interface to Libera.Chat) * MINIX 3 development IRC: #minix-dev on Libera.Chat (We…

roadmap

Anonymous (anonymous@undisclosed.example.com) — 2016-12-12T21:20:57+0200

Stale page This page is not being actively maintained. The MINIX 3 Road Map Here is the (tentative) MINIX 3 roadmap. It shows the things people are working on or we would like people to be working on. The projects are divided into three rough categories. Near-term projects are well under way and should be completed within a matter of months. Medium-term projects are just getting started and might take longer or shouldn't take that long once a volunteer is found. Long-term projects will take a…

start

Anonymous (anonymous@undisclosed.example.com) — 2021-07-10T15:02:40+0200

Minix 3 Wiki Welcome to the MINIX 3 wiki. This is the MINIX 3 user manual and documentation. It is a wiki (like Wikipedia), which means you can edit it, add new material, and so on. With your help we can make MINIX 3 a very well documented system. Please help.

testingpkgsrc

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T18:27:11+0200

This document was written in 2011 and is now just for reference. It will not be updated. The TODO is outdated, but do not change it, this would not help. See the UsersGuide to use pkgsrc, and the DevelopersGuide if you want to play with the various facets of pkgsrc and its content.

tickless

Anonymous (anonymous@undisclosed.example.com) — 2014-11-11T18:20:17+0200

Tickless Kernel Traditionally, the MINIX kernel and other kernel used a periodic timer for each CPU. This scheme suffers from several issues including being periodic at a fixed rate, doing a lot of things during each interrupt, polluting the callout data structures with a lot of unnecessary callouts which either do not fire or get rearmed frequently. Making the kernel tickless has several advantages, the most prominent being more efficient CPU usage because of less clock cycles being wasted in …

volunteerpkgsrc

Anonymous (anonymous@undisclosed.example.com) — 2016-03-30T20:10:21+0200

Volunteer Pkgsrc About A secondary pkgsrc repository has been created on GitHub to allow volunteers to contribute to pkgsrc directly. It is currently experimental as its relationship to the primary pkgsrc repository has yet to be determined. Care to Contribute?