minix3
There are 13 repositories under minix3 topic.
madworx/docker-minix
QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website
cipher387/code_repository_google_custom_search_engines
Google Custom Search Engines for searching in code repositories
rishitsaiya/CS314-OS-Lab
Operating Systems Lab Course (CS 314), IIT Dharwad
JBouron/Minix3-Fine-Grain
Fork of the Minix3 microkernel containing changes to get rid of the Big Kernel Lock (BKL)
nikunjpansari/Operating-Systems_Lab_CS_314
Operating Systems
Whitelisted2/CS314-OS-Lab
This repository contains files related to Operating Systems Lab (Spring 2023).
Educorreia932/FEUP-LCOM
🖱 MIEIC 2019/2020 - 2º ano / 1º semestre
JBouron/minix
Fork of the Minix kernel with some fixes to make it run on multicore cpus
afonsojramos/feup-lcom
Project made for "Laboratório de computadores" using a VM with Minix-OS, a subject from the 2nd year, 1st semester.
sevan/minix
Project 3.4RC-sevan - Synchronising user land with NetBSD-8. See r3.4-rc-sevan branch for changes merged and proposed so far.
leonardo8787/minix-1-documentation
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.
Razz4780/qemu_test_runner
Test runner for modified MINIX3 kernels - OS course at MIMUW.
diogolhc/feup-mieic-lcom
:computer_mouse: Proposed solution for the Computer Laboratory course @FEUP