ELISA Seminar (May 2024) Making Linux Fly: Towards Certified Linux Kernel

Поделиться
HTML-код
  • Опубликовано: 17 янв 2025

Комментарии • 3

  • @maddogbailey
    @maddogbailey 7 месяцев назад

    Certified by whom?
    Microsoft? Google? Apple?

    • @TrivediHem
      @TrivediHem 7 месяцев назад

      Authority for aviation safety. FAA EASA ........

    • @SteveVanderLeest
      @SteveVanderLeest 4 месяца назад

      We are aiming towards certification by airworthiness authorities. For example, in the US for civilian flight, that would be the Federal Aviation Administration (FAA).

Следующие
Автовоспроизведение
ELISA Seminar (May 2024): Ferrocene: Qualifying the Rust compiler out in the open1:04:11ELISA Seminar (May 2024): Ferrocene: Qualifying the Rust compiler out in the open
ELISA Seminar (May 2024): Ferrocene: Qualifying the Rust compiler out in the openELISA Project
Просмотров 284
ELISA Seminar (March 2024): Certifying Linux: State of the Art and Lessons Learned after Eight Years56:24ELISA Seminar (March 2024): Certifying Linux: State of the Art and Lessons Learned after Eight Years
ELISA Seminar (March 2024): Certifying Linux: State of the Art and Lessons Learned after Eight YearsELISA Project
Просмотров 490
It's Really Just That Bad57:49It's Really Just That Bad
It's Really Just That BadThePrimeTime
Просмотров 236 тыс.
We Took 100 Shots vs a Women's Pro Keeper and Scored ___ Goals22:55We Took 100 Shots vs a Women's Pro Keeper and Scored ___ Goals
We Took 100 Shots vs a Women's Pro Keeper and Scored ___ GoalsChrisMD
Просмотров 1,1 млн
Every Home Alone Is Worse Than The Last39:35Every Home Alone Is Worse Than The Last
Every Home Alone Is Worse Than The Lastgabi belle
Просмотров 844 тыс.
I Filled my ENTIRE House with Snow *don’t try this*25:51I Filled my ENTIRE House with Snow *don’t try this*
I Filled my ENTIRE House with Snow *don’t try this*The Royalty Family
Просмотров 6 млн
I Spent 100 Hours for IMPOSSIBLE Dragon Race V4 in Blox Fruits!26:20I Spent 100 Hours for IMPOSSIBLE Dragon Race V4 in Blox Fruits!
I Spent 100 Hours for IMPOSSIBLE Dragon Race V4 in Blox Fruits!Kitt Gaming
Просмотров 722 тыс.
A Development Environment for DO-178C Level D Certified Linux - Chuck Wolber, The Boeing Company56:32A Development Environment for DO-178C Level D Certified Linux - Chuck Wolber, The Boeing Company
A Development Environment for DO-178C Level D Certified Linux - Chuck Wolber, The Boeing CompanyThe Linux Foundation
Просмотров 1 тыс.
42nd Meeting da Sociedade Brasileira de Econometria - Contributed Session Macro 41:37:5942nd Meeting da Sociedade Brasileira de Econometria - Contributed Session Macro 4
42nd Meeting da Sociedade Brasileira de Econometria - Contributed Session Macro 4Sociedade Brasileira de Econometria SBE
Просмотров 8
ELISA Seminar (June 2024) Improved system stressing with stress ng54:49ELISA Seminar (June 2024) Improved system stressing with stress ng
ELISA Seminar (June 2024) Improved system stressing with stress ngELISA Project
Просмотров 305
Not even close | M4 Max vs Razer Blade 1818:10Not even close | M4 Max vs Razer Blade 18
Not even close | M4 Max vs Razer Blade 18Alex Ziskind
Просмотров 162 тыс.
XCS 236 Session: From Math Concepts to Large Language Models1:06:10XCS 236 Session: From Math Concepts to Large Language Models
XCS 236 Session: From Math Concepts to Large Language ModelsCheng Shen
Просмотров 54
ELISA Seminar (August 2024) -The SEooC concept driven into extreme recording1:01:17ELISA Seminar (August 2024) –The SEooC concept driven into extreme recording
ELISA Seminar (August 2024) -The SEooC concept driven into extreme recordingELISA Project
Просмотров 252
I made Coroutines from scratch2:09:30I made Coroutines from scratch
I made Coroutines from scratchTsoding Daily
Просмотров 28 тыс.
Linux Kernel Design Documentation54:50Linux Kernel Design Documentation
Linux Kernel Design DocumentationELISA Project
Просмотров 2
Real Time Linux update37:48Real Time Linux update
Real Time Linux updateELISA Project
Просмотров 8
Дорогая, мама приехала на месяц и ей не приятно твое общество Когда вернемся, чтобы тебя тут не было18:35Дорогая, мама приехала на месяц и ей не приятно твое общество Когда вернемся, чтобы тебя тут не было
Дорогая, мама приехала на месяц и ей не приятно твое общество Когда вернемся, чтобы тебя тут не былоСвекровь обомлела
Просмотров 159 тыс.
skibidi toilet multiverse 047 Trailer01:54skibidi toilet multiverse 047 Trailer
skibidi toilet multiverse 047 TrailerDOM Studio
Просмотров 1,9 млн
Спасение служебной собачки00:18Спасение служебной собачки
Спасение служебной собачкиНовостной Гусь
Просмотров 647 тыс.
🦑🎮 Round two! Will he make it? #PuffSurvives #SquidGameSequel #thatlittlepuff #Mesucalife00:40🦑🎮 Round two! Will he make it? #PuffSurvives #SquidGameSequel #thatlittlepuff #Mesucalife
🦑🎮 Round two! Will he make it? #PuffSurvives #SquidGameSequel #thatlittlepuff #MesucalifeThat Little Puff
Просмотров 24 млн
Каспийский Груз - Табор вернулся в город03:29Каспийский Груз - Табор вернулся в город
Каспийский Груз - Табор вернулся в городКаспийский Груз
Просмотров 86 тыс.
Roomba Balloon Roulette 😱01:00Roomba Balloon Roulette 😱
Roomba Balloon Roulette 😱A4
Просмотров 384 тыс.
НИКОГДА НЕ РАЗГОВАРИВАЙ C ЗЛЫМ БЛИППИ Ночью!35:51НИКОГДА НЕ РАЗГОВАРИВАЙ C ЗЛЫМ БЛИППИ Ночью!
НИКОГДА НЕ РАЗГОВАРИВАЙ C ЗЛЫМ БЛИППИ Ночью!Double Bubble
Просмотров 281 тыс.
Я НАШЁЛ САМЫЙ РАЗРУШИТЕЛЬНЫЙ ЯДЕРНЫЙ МОД В МАЙНКРАФТ!15:53Я НАШЁЛ САМЫЙ РАЗРУШИТЕЛЬНЫЙ ЯДЕРНЫЙ МОД В МАЙНКРАФТ!
Я НАШЁЛ САМЫЙ РАЗРУШИТЕЛЬНЫЙ ЯДЕРНЫЙ МОД В МАЙНКРАФТ!Gradus TV
Просмотров 153 тыс.