(lwn.net)

186 points ahlCVA | 3 comments | 19 Sep 25 15:29 UTC | HN request time: 0.671s | source

1. andutu ◴[19 Sep 25 19:17 UTC] No.45305324[source]▶

Pretty cool, sound similar to what Barrelfish OS enabled (https://barrelfish.org/).

2. 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 #

3. mensi ◴[20 Sep 25 12:01 UTC] No.45312583[source]▶

>>45310875 #

That just reminded me that he's always insisted on not being called Tim: https://people.inf.ethz.ch/troscoe/

↑

Kernel: Introduce Multikernel Architecture Support