News for hackers. Stuff that matters.

A comment on Kernel: Introduce Multikernel Architecture Support. Parent comment

Re:Kernel: Introduce Multikernel Architecture Support by intermerda on Saturday September 20, 2025 @02:11AM (#45310875)
Tim Roscoe gave an interesting Keynote at OSDI '21 titled "It's Time for Operating Systems to Rediscover Hardware" - https://www.youtube.com/watch?v=36myc8wQhLo. He was involved with the Barrelfish project.
[ Parent | on HN ]
Re:Kernel: Introduce Multikernel Architecture Support by mensi on Saturday September 20, 2025 @08:01AM (#45312583)
That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/
[ Parent | on HN ]
Re:Kernel: Introduce Multikernel Architecture Support by intermerda on Sunday September 21, 2025 @04:59PM (#45326582)
Huh I did not know that. I’m usually on careful about not using well-known nicknames unless the person goes by them.
[ Parent | on HN ]