Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Microkernels

Showing: 14 courses
Code Sync

Security Under the BEAM - Building Trustworthy Isolation in Operating Systems

0 rewiews
Explore the Kry10 Secure Platform, combining BEAM VM isolation, seL4 Microkernel, and formal methods to build trustworthy, fault-tolerant systems for IoT and next-gen software development.
Add to list
7 Lesons
43 minutes
On-Demand
Free-Video
Rust

Rust on L4Re - Safe Language Meets Safe Microkernel

0 rewiews
Explore the integration of Rust's memory-safety features with L4Re's microkernel for enhanced system reliability and security. Learn about porting challenges and future applications in IPC.
Add to list
1 Lesons
23 minutes
On-Demand
Free-Video
Linux Foundation

Security in Zephyr and Fuchsia - Comparing Emerging Open Source Operating Systems

0 rewiews
Explore security architectures and mechanisms in Zephyr and Fuchsia operating systems, comparing them to Linux. Learn about ongoing advancements and unique approaches to IoT and microkernel-based security.
Add to list
26 Lesons
46 minutes
On-Demand
Free-Video
GOTO Conferences

Using Formal Methods to Eliminate Exploitable Bugs - YOW! 2015

0 rewiews
Explore formal methods for creating bug-free software, including SeL4 microkernel and CompCert compiler. Learn about recent advancements and limitations in producing high-assurance software for vehicles.
Add to list
1 Lesons
47 minutes
On-Demand
Free-Video
Devoxx

Containers, VMs, Processes - How All of These Technologies Work

0 rewiews
Explore virtualization technologies, comparing containers, VMs, and microkernels. Understand their workings, origins, and use cases through demos and explanations suitable for all technical levels.
Add to list
1 Lesons
42 minutes
On-Demand
Free-Video
Devoxx

Containers, VMs, Processes - Deep Dive and Learn About Your Operating System

0 rewiews
Explore virtualization, containers, and microkernels. Compare technologies like Docker, KVM, and Xen. Gain insights into system isolation, choosing tools, and solving scaling and security issues.
Add to list
1 Lesons
50 minutes
On-Demand
Free-Video
TheIACR

Antikernel - A Decentralized Secure Hardware Software Operating System

0 rewiews
Explore a decentralized secure hardware-software operating system with parallel networks, memory management, and microkernel security core for enhanced system protection and efficiency.
Add to list
11 Lesons
20 minutes
On-Demand
Free-Video
linux.conf.au

Anatomy of a Run-Time - Your Contract with the Kernel

0 rewiews
Explore the interplay between kernel design, language run-times, and software development. Gain insights into OS interfaces, run-time components, and their impact on software portability and future innovations.
Add to list
21 Lesons
30 minutes
On-Demand
Free-Video
linux.conf.au

Verified seL4 on Secure RISC-V Processors

0 rewiews
Exploring seL4 microkernel implementation and verification on RISC-V, discussing security features, time protection, and related open-source technologies for building secure systems.
Add to list
15 Lesons
45 minutes
On-Demand
Free-Video
Linux Plumbers Conference

BPF Microconference

0 rewiews
Explore advancements in BPF technology for Linux kernel, covering networking, tracing, and security. Learn about verifier scalability, type formats, dynamic tracing, and more in this comprehensive session.
Add to list
1 Lesons
4 hours 57 minutes
On-Demand
Free-Video
Code Sync

seL4 and BEAM: Running Erlang Without an OS

0 rewiews
Explore running BEAM without an OS, focusing on security and robustness for embedded applications. Learn about seL4 microkernel, formal verification, and BEAM-seL4 integration.
Add to list
8 Lesons
26 minutes
On-Demand
Free-Video
USENIX

Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel

0 rewiews
Explore HongMeng, a general-purpose microkernel addressing performance and compatibility challenges while maintaining security and reliability for smartphones and smart vehicles.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
The ASF

Building a Large-Scale Cloud-Native Event Grid with EventMesh

0 rewiews
Explore building a large-scale cloud-native event grid using EventMesh. Learn about architecture planning, ecosystem development, and practical implementation in Huawei Cloud.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
media.ccc.de

Sculpt OS - A Novel Operating System for Truly Trustworthy Computing

0 rewiews
Explore Sculpt OS, a showcase of the Genode Operating System Framework. Learn about microkernels, Genode features, and the SDK through a live system demonstration.
Add to list
1 Lesons
46 minutes
On-Demand
Free-Video