←back to thread

Kernel: Introduce Multikernel Architecture Support

(lwn.net)
191 points ahlCVA | 1 comments | 19 Sep 25 15:29 UTC | HN request time: 0.202s | source
Show context
andutu ◴[19 Sep 25 19:17 UTC] No.45305324[source]▶
Pretty cool, sound similar to what Barrelfish OS enabled (https://barrelfish.org/).
replies(1): >>45310875 #
intermerda ◴[20 Sep 25 06:11 UTC] No.45310875[source]▶
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.
replies(1): >>45312583 #
1. mensi ◴[20 Sep 25 12:01 UTC] No.45312583[source]▶
That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/