4 ms·
It would be nice seeing Hurd on L4se now that its source is freely available
by vander_elst 11y ago
It would be nice seeing Hurd on L4se now that its source is freely available
- lelf 11y agohttps://www.gnu.org/software/hurd/history/port_to_another_microkernel.html https://www.gnu.org/software/hurd/history/port_to_another_mi...
- vander_elst 11y agoI meant the mathematically proved fork of L4
- coupdejarnac 11y agoLooks like your homemade mouse needs its buttons debounced.
- vander_elst 11y agoI meant the mathematically proved fork of L4
- vander_elst 11y agoI meant the mathematically proved fork of L4
- vander_elst 11y agoI meant the mathematically proved fork of L4
- vander_elst 11y agoI meant the mathematically proved fork of L4