From e87e68c21b3edcf48a56d3202c2fa9413dfaf52c Mon Sep 17 00:00:00 2001 From: Samuel Thibault Date: Fri, 10 Sep 2021 11:36:26 +0200 Subject: complete the microkernel switch faq --- faq/how_to_switch_microkernels.mdwn | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'faq') diff --git a/faq/how_to_switch_microkernels.mdwn b/faq/how_to_switch_microkernels.mdwn index a0e57174..21b276ae 100644 --- a/faq/how_to_switch_microkernels.mdwn +++ b/faq/how_to_switch_microkernels.mdwn @@ -13,6 +13,14 @@ License|/fdl]]."]]"""]] [[!meta title="How difficult would it be to switch to another microkernel?"]] -One would have to reimplement the `mach/` and `sysdeps/mach/` parts of -[[glibc]] and [[libpthread]]. Quite a few other Hurd tools also assume a -[[microkernel/Mach]] kernel and would have to be adapted or rewritten. +The microkernel has to provide memory management and user-level-managed page +faulting, thread scheduling, and IPC. + +One would have to reimplement the `mach/` and `sysdeps/mach/` parts of [[glibc]] +and [[libpthread]]. One would have to rewrite mig to generate the new IPCs. One +would have to rewrite libpager to handle paging. + +All `mach_` calls in glibc and hurd would need to be updated. + +Quite a few other Hurd tools also assume a [[microkernel/Mach]] kernel and +would have to be adapted or rewritten. -- cgit v1.2.3