HiRTOS: a Multicore RTOS Written in SPARK Ada

  Рет қаралды 199

Ada Maximized

Ada Maximized

Күн бұрын

Пікірлер
SweetAda: a Multi-architecture Embedded Development Framework
50:21
SweetAda: a Multi-architecture Embedded Development Framework
Ada Maximized
Рет қаралды 132
SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)
25:16
SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)
AdaCore
Рет қаралды 571
When you have a very capricious child 😂😘👍
00:16
When you have a very capricious child 😂😘👍
Like Asiya
Рет қаралды 18 МЛН
coco在求救？ #小丑 #天使 #shorts
00:29
coco在求救？ #小丑 #天使 #shorts
好人小丑
Рет қаралды 120 МЛН
Đang ngồi chơi bỗng dưng bể cá vỡ kính, may có CCTV chứng minh sự trong sạch cho cô bé
00:27
Đang ngồi chơi bỗng dưng bể cá vỡ kính, may có CCTV chứng minh sự trong sạch cho cô bé
Tiin_vn - Viettel Media
Рет қаралды 28 МЛН
My scorpion was taken away from me 😢
00:55
My scorpion was taken away from me 😢
TyphoonFast 5
Рет қаралды 2,7 МЛН
Fundamentals of Embedded Linux - Chris Simmons - NDC TechTown 2022
1:04:15
Fundamentals of Embedded Linux - Chris Simmons - NDC TechTown 2022
NDC Conferences
Рет қаралды 50 М.
Zephyr RTOS Intro - And why I love it
39:37
Zephyr RTOS Intro - And why I love it
ANTSHIV ROBOTICS
Рет қаралды 9 М.
Getting Started with Multicore Microcontroller Applications
27:03
Getting Started with Multicore Microcontroller Applications
Arm Software Developers
Рет қаралды 3,4 М.
BSidesNYC 2024 - Detection and Triage of Domain Persistence
50:05
BSidesNYC 2024 - Detection and Triage of Domain Persistence
ISOC LIVE
Рет қаралды 31
SPARK and Ada Do Autonomy - AdaCore R&D project with the AFRL
23:56
SPARK and Ada Do Autonomy - AdaCore R&D project with the AFRL
AdaCore
Рет қаралды 1,1 М.
Syscalls, Kernel vs. User Mode and Linux Kernel Source Code - bin 0x09
13:24
Syscalls, Kernel vs. User Mode and Linux Kernel Source Code - bin 0x09
LiveOverflow
Рет қаралды 251 М.
Avoiding Access Types
21:31
Avoiding Access Types
Ada Maximized
Рет қаралды 132
RTOS Tutorial (5/5) : RTOS for Multi-core systems
11:13
RTOS Tutorial (5/5) : RTOS for Multi-core systems
RenesasPresents
Рет қаралды 11 М.
rust runs on EVERYTHING (no operating system, just Rust)
18:10
rust runs on EVERYTHING (no operating system, just Rust)
Low Level
Рет қаралды 367 М.
Getting Started with Zephyr RTOS
1:03:54
Getting Started with Zephyr RTOS
Elektor TV - Industry
Рет қаралды 2,3 М.
When you have a very capricious child 😂😘👍
00:16
When you have a very capricious child 😂😘👍
Like Asiya
Рет қаралды 18 МЛН