Home
Feed

Extend

Hashnode Pro
Hashnode for Agents

Resources

The foreword
Hashnode gql skill

Buildful - AI coding agent that delivers frontier-level results at a fraction of the cost Bug0 - The AI-native e2e QA regression testing Hackathons Changelog Brand @hashnode on X Hashnode on LinkedIn Support - hello+support@hashnode.com Code of Conduct Terms Privacy Sitemap

Sign in

Search Hashnode

Search posts, tags, users, and pages

Nataliya Korovkina (@nataliya) | Hashnode

@nataliya

Nataliya Korovkina

@nataliya·Ontario, Canada·Joined May 2024

seL4 Enthusiast, Embedded Software Developer

About

My name is Nataliya, Embedded software developer working in the field of hardware virtualization; contributor to seL4 microkernel ecosystem.

Available for

Nothing here yet.

Nataliya Korovkina's blogs

Kernels Abreezekernels-abreeze.dev1 post

Articles Comments

docs.kernels-abreeze.dev

docs.kernels-abreeze.dev

Nov 7, 2024 · 1 min readkernels-abreeze.dev

About

My name is Nataliya, Embedded software developer working in the field of hardware virtualization; contributor to seL4 microkernel ecosystem.

Available for

Nothing here yet.

Nataliya Korovkina's blogs

Kernels Abreezekernels-abreeze.dev1 post