minix3
Here are 13 public repositories matching this topic...
Fork of the Minix kernel with some fixes to make it run on multicore cpus
-
Updated
Oct 25, 2020 - C
🖱️ Proposed solution for the Computer Laboratory course @FEUP
-
Updated
Jun 4, 2021 - C
Operating Systems
-
Updated
Mar 22, 2022 - C
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.
-
Updated
Oct 11, 2022 - C
This repository contains files related to Operating Systems Lab (Spring 2023).
-
Updated
Apr 11, 2023 - C
🖱 MIEIC 2019/2020 - 2º ano / 1º semestre
-
Updated
Apr 15, 2020 - C
QEMU-based Docker image for Minix 3, based on the official CD-ROM ISO image installation from the Minix website
-
Updated
May 29, 2019 - Shell
Fork of the Minix3 microkernel containing changes to get rid of the Big Kernel Lock (BKL)
-
Updated
Mar 8, 2020 - C
Operating Systems Lab Course (CS 314), IIT Dharwad
-
Updated
Mar 22, 2022 - C
Google Custom Search Engines for searching in code repositories
-
Updated
Mar 26, 2024 - CSS
Improve this page
Add a description, image, and links to the minix3 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the minix3 topic, visit your repo's landing page and select "manage topics."