npub1dqx66xpjd8kh4twk7h4naa987e0lqnxyw2rx2adek0ttvrtf26fsvaq4d8 (npub1dqx…q4d8) ένα από τα προβλήματα που είχαν ήταν με τον Mach microkernel αλλά δε θυμάμαι λεπτομέρειες, πάει καιρός. (είχα χρησιμοποιήσει Mach για να μπουτάρω τον Linux kernel σε ένα HP Apollo πριν από 25 χρόνια. είναι παμπάλαιος.)
είχε γίνει και μια προσπάθεια χρήσης του L4 που έπεσε στο κενό. βέβαια υπάρχουν κι άλλοι πυρήνες αν θελήσουν να δοκιμάσουν κάτι άλλο. για τους drivers στράφηκαν στο NetBSD, που είναι μια καλή αρχή σίγουρα. ο χρόνος θα δείξει...