I then read a bit about an attempt to port Hurd to L4, which floundered for reasons which are beyond my understanding.
I then read a bit about an attempt to port Hurd to L4, which floundered for reasons which are beyond my understanding.