Google Custom Search Engines for searching in code repositories

This repository contains files related to Operating Systems Lab (Spring 2023).

Official MINIX sources - Automatically replicated from gerrit.minix3.org - This repository was produced for academic porpuses, the focus is politcs of the escalation, but there are the general documentation of MINIX 3 in Wiki of repository.

Test runner for modified MINIX3 kernels - OS course at MIMUW.

Operating Systems

Operating Systems Lab Course (CS 314), IIT Dharwad

🖱️ Proposed solution for the Computer Laboratory course @FEUP

Fork of the Minix kernel with some fixes to make it run on multicore cpus

🖱 MIEIC 2019/2020 - 2º ano / 1º semestre

Fork of the Minix3 microkernel containing changes to get rid of the Big Kernel Lock (BKL)

QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website

Project 3.4RC-sevan - Synchronising user land with NetBSD-8. See r3.4-rc-sevan branch for changes merged and proposed so far.

Project made for "Laboratório de computadores" using a VM with Minix-OS, a subject from the 2nd year, 1st semester.