| | Minix 3 (2014) (minix3.org) |
|
96 points by droideqa 7 days ago | past | 31 comments
|
|
| | Minix development has been abandoned? (minix3.org) |
|
139 points by Bondi_Blue on May 24, 2023 | past | 109 comments
|
|
| | Ask HN: Why is the development of Minix3 dormant? (minix3.org) |
|
1 point by nix23 on Dec 31, 2022 | past
|
|
| | Ask HN: Is Minix dead? No commits since 2018 (minix3.org) |
|
221 points by haunter on March 14, 2021 | past | 142 comments
|
|
| | Minix 3 (minix3.org) |
|
4 points by peter_d_sherman on July 21, 2020 | past
|
|
| | Live update and rerandomization in Minix3 (minix3.org) |
|
9 points by snvzz on Nov 18, 2015 | past
|
|
| | MINIXCon 2016 Announcement and Call for Talks (minix3.org) |
|
4 points by protomyth on Nov 7, 2015 | past
|
|
| | Fault-Tolerant Live Update with Time-Traveling State Transfer (2013) [pdf] (minix3.org) |
|
1 point by vezzy-fnord on Nov 5, 2015 | past
|
|
| | MINIX 3 support for live update and rerandomization (minix3.org) |
|
3 points by vezzy-fnord on Nov 1, 2015 | past
|
|
| | Towards a Flexible, Lightweight Virtualization Alternative (2014) [pdf] (minix3.org) |
|
15 points by vezzy-fnord on Oct 30, 2015 | past
|
|
| | Building Reliable Operating Systems Despite Unreliable Device Drivers (2006) [pdf] (minix3.org) |
|
1 point by vezzy-fnord on Oct 29, 2015 | past
|
|
| | MINIXCon 2016 Announcement and Call for Talks (minix3.org) |
|
2 points by sirmc on Oct 26, 2015 | past
|
|
| | Minix 3.3.0 (minix3.org) |
|
600 points by knz42 on Sept 16, 2014 | past | 172 comments
|
|
| | Minix 3.2.1 Released (minix3.org) |
|
66 points by geeknik on Feb 24, 2013 | past | 24 comments
|
|
| | Minix 3: Getting Started (minix3.org) |
|
2 points by shawndumas on March 14, 2012 | past
|
|
| | Minix 3.2.0 (microkernel OS) released (minix3.org) |
|
1 point by lelf on March 4, 2012 | past
|
|
| | Minix 3.2 released (minix3.org) |
|
3 points by voodoochilo on Feb 29, 2012 | past
|
|
| | Minix 3.2.0 Release Announcement (minix3.org) |
|
2 points by tveerman on Feb 29, 2012 | past
|
|
| | MinixFaq (minix3.org) |
|
3 points by shawndumas on June 30, 2011 | past
|
|
