seL4 on RISC V Fast, Secure, Open source and Proved Bug free OS Kernel

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

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

  • @Tedd755
    @Tedd755 3 ปีที่แล้ว +1

    Were there any questions?

ต่อไป
เล่นอัตโนมัติ
Scale4Edge project introduction14:54Scale4Edge project introduction
Scale4Edge project introductionRISC-V International
มุมมอง 72
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?33:45From L3 to seL4 what have we learnt in 20 years of L4 microkernels?
From L3 to seL4 what have we learnt in 20 years of L4 microkernels?Association for Computing Machinery (ACM)
มุมมอง 11K
Rust on RISC-V, a case study - Jorge Prendes and James Wainwright54:57Rust on RISC-V, a case study - Jorge Prendes and James Wainwright
Rust on RISC-V, a case study - Jorge Prendes and James WainwrightRust Nation UK
มุมมอง 3.8K
Car Bubble vs Lamborghini00:33Car Bubble vs Lamborghini
Car Bubble vs LamborghiniStokes Twins
มุมมอง 35M
จารย์❌ จาน✅ #ตลก #บ้านกูเอง00:10จารย์❌ จาน✅ #ตลก #บ้านกูเอง
จารย์❌ จาน✅ #ตลก #บ้านกูเองBAN GU ENG
มุมมอง 1.1M
CORSAIR K70 PRO TKL คีย์บอร์ดโคตรโกง สำหรับสายเกมมิ่ง !!01:00CORSAIR K70 PRO TKL คีย์บอร์ดโคตรโกง สำหรับสายเกมมิ่ง !!
CORSAIR K70 PRO TKL คีย์บอร์ดโคตรโกง สำหรับสายเกมมิ่ง !!Extreme IT
มุมมอง 222K
🔴Live สด! PUBG GLOBAL SERIES 6 | GROUP STAGE DAY 24:54:45🔴Live สด! PUBG GLOBAL SERIES 6 | GROUP STAGE DAY 2
🔴Live สด! PUBG GLOBAL SERIES 6 | GROUP STAGE DAY 2PUBG: BATTLEGROUNDS THAILAND
มุมมอง 173K
Microkernel Architecture34:09Microkernel Architecture
Microkernel ArchitectureDJ Ware
มุมมอง 7K
Development of the First Open-Source Implementation of the RISC-V Vect...- Markku-Juhani O. Saarinen23:20Development of the First Open-Source Implementation of the RISC-V Vect...- Markku-Juhani O. Saarinen
Development of the First Open-Source Implementation of the RISC-V Vect...- Markku-Juhani O. SaarinenRISC-V International
มุมมอง 209
Linus Torvalds on the kernel, GenAI, EVs, programming languages and more…49:59Linus Torvalds on the kernel, GenAI, EVs, programming languages and more…
Linus Torvalds on the kernel, GenAI, EVs, programming languages and more…TFiR
มุมมอง 41K
CPU Security in the Context of RISC-V - Karthik Raj Shekar, Secure-IC17:30CPU Security in the Context of RISC-V - Karthik Raj Shekar, Secure-IC
CPU Security in the Context of RISC-V - Karthik Raj Shekar, Secure-ICRISC-V International
มุมมอง 169
W01a: Introduction to microkernels and seL41:39:47W01a: Introduction to microkernels and seL4
W01a: Introduction to microkernels and seL4The seL4 Microkernel
มุมมอง 9K
RISC-V Needs More Secure “Wheels”! A Perspective for/from Automoti...- Thomas Roecker & Sandro Pinto18:57RISC-V Needs More Secure “Wheels”! A Perspective for/from Automoti...- Thomas Roecker & Sandro Pinto
RISC-V Needs More Secure “Wheels”! A Perspective for/from Automoti...- Thomas Roecker & Sandro PintoRISC-V International
มุมมอง 145
Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael Neises17:28Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael Neises
Trustworthy Measurements of a Linux Kernel and Layered Attestation via the seL4 - Michael NeisesThe seL4 Microkernel
มุมมอง 365
OpenSSH for Absolute Beginners23:00OpenSSH for Absolute Beginners
OpenSSH for Absolute BeginnersVeronica Explains
มุมมอง 115K
Lessons Learned in Using RISC-V for Generative AI and Where We Can... - Jayesh Iyer & Josep M Perez18:20Lessons Learned in Using RISC-V for Generative AI and Where We Can... - Jayesh Iyer & Josep M Perez
Lessons Learned in Using RISC-V for Generative AI and Where We Can... - Jayesh Iyer & Josep M PerezRISC-V International
มุมมอง 256
🔴Live โหนกระแส หมอดูฮวงจุ้ย มิจซี่ #2 อัดค่าพิธี ซื้อเทพ ซื้อที่ ซื้อหิน มากกว่า 60 ล้านบาท2:32:34🔴Live โหนกระแส หมอดูฮวงจุ้ย มิจซี่ #2 อัดค่าพิธี ซื้อเทพ ซื้อที่ ซื้อหิน มากกว่า 60 ล้านบาท
🔴Live โหนกระแส หมอดูฮวงจุ้ย มิจซี่ #2 อัดค่าพิธี ซื้อเทพ ซื้อที่ ซื้อหิน มากกว่า 60 ล้านบาทโหนกระแส [Hone-Krasae] official
มุมมอง 1.8M
Trapped by the Machine, Saved by Kind Strangers! #shorts00:21Trapped by the Machine, Saved by Kind Strangers! #shorts
Trapped by the Machine, Saved by Kind Strangers! #shortsFabiosa Best Lifehacks
มุมมอง 25M
พีกจัด ! หลักฐาน “39 ล้าน” โผล่มัดทนายดัง อึ้ง “เส้นเงิน” ชัด ทิ้งร่องรอย ? #ถกไม่เถียง1:08:49พีกจัด ! หลักฐาน “39 ล้าน” โผล่มัดทนายดัง อึ้ง “เส้นเงิน” ชัด ทิ้งร่องรอย ? #ถกไม่เถียง
พีกจัด ! หลักฐาน “39 ล้าน” โผล่มัดทนายดัง อึ้ง “เส้นเงิน” ชัด ทิ้งร่องรอย ? #ถกไม่เถียงterodigital
มุมมอง 519K
แกล้งแฟนครั้งสุดท้าย 🥹🖤00:43แกล้งแฟนครั้งสุดท้าย 🥹🖤
แกล้งแฟนครั้งสุดท้าย 🥹🖤Eoirndaime
มุมมอง 345K
来抓我啊#搞笑 #搞笑夫妻 #幽默夫妻00:16来抓我啊#搞笑 #搞笑夫妻 #幽默夫妻
来抓我啊#搞笑 #搞笑夫妻 #幽默夫妻V Brother's Daily Life
มุมมอง 1.6M
อย่าแปลงร่างกลางตลาด #ตลก #ben10 #ละครสั้น #บ้านกูเอง00:37อย่าแปลงร่างกลางตลาด #ตลก #ben10 #ละครสั้น #บ้านกูเอง
อย่าแปลงร่างกลางตลาด #ตลก #ben10 #ละครสั้น #บ้านกูเองBAN GU ENG
มุมมอง 216K
PIZZA or CHICKEN // Left or Right Challenge00:18PIZZA or CHICKEN // Left or Right Challenge
PIZZA or CHICKEN // Left or Right ChallengeHungry FAM
มุมมอง 9M
ย่าน - ปรีชา ปัดภัย : เซิ้ง|Music 【Official MV】05:49ย่าน - ปรีชา ปัดภัย : เซิ้ง|Music 【Official MV】
ย่าน - ปรีชา ปัดภัย : เซิ้ง|Music 【Official MV】SERNG MUSiC OFFICIAL
มุมมอง 179K