From L3 to seL4 what have we learnt in 20 years of L4 microkernels?

แชร์
ฝัง
  • เผยแพร่เมื่อ 7 พ.ย. 2024

ความคิดเห็น • 10

  • @biggusmunkusthegreat
    @biggusmunkusthegreat 6 หลายเดือนก่อน

    I've been designing a microkernel for 7 years now and to hear many of the ideas I've had over the years put so succinctly is so satisfying. Clear, direct, amazing talk. Thank you SO MUCH for posting this.

  • @jlxip
    @jlxip 2 ปีที่แล้ว +1

    This is awesome, thank you for posting it on TH-cam.

  • @inkbunnybunny
    @inkbunnybunny 5 หลายเดือนก่อน

    I have a question would it be possible to have more than just User and Kernel space?

    • @SteelRatVT
      @SteelRatVT 8 วันที่ผ่านมา

      The x86 and ARM both have 4 “rings” of privilege.
      For some reason, every OS out there only implements ring 0 and ring 3.
      Still, it should be possible to write an OS that uses all 4, or at least 3 rings

  • @doBobro
    @doBobro 6 หลายเดือนก่อน

    Ah those sweet pre-SPECTRE times full of hopes.

  • @jochenliedtke6910
    @jochenliedtke6910 8 ปีที่แล้ว +1

    OMG that old dude is still around!! Garnot Heiser is an old man long past his prime and long past his time. He should have been put out to pasture all long time ago.

    • @teclishighelf5787
      @teclishighelf5787 8 ปีที่แล้ว

      Yes, I agree Heiser and his research group should definitely put away their laptops and take up knitting.

    • @afakeaccountofcourse.8463
      @afakeaccountofcourse.8463 4 ปีที่แล้ว +3

      gee, why so much hate? Be constructive.

  • @teclishighelf5787
    @teclishighelf5787 7 ปีที่แล้ว

    Heiser is busted! I found a darknet site with sel4 exploits and they all work on the version of seL4 that apple used.......