Make it secure http://www.sevirt.com/feed.php 2026-06-18T22:07:28+02:00 <p>Dear Visitor,</p> <p>Hereby I'm excited to introduce V8R. It is the Rust-based evolution of the SeVirt V8 hypervisor concept: a minimal static type-1 hypervisor for ARMv8 and ARMv9 platforms, designed for automotive and embedded virtualization use cases.</p> <p>The project focuses on predictable system composition, small runtime scope, and clear separation between platform description, bind-time configuration, generated boot assets, and hypervisor execution. V8R is a new implementation that keeps the minimal static design philosophy while improving safety, traceability, and support for modern ARM virtualization hardware.</p> <p>Key directions:</p> <ul> <li>Rust-based implementation with explicit ownership and reduced memory-safety risk.</li> <li>Static configuration and bind-time generation of platform, VM, memory, and device layout.</li> <li>Machine-readable unit design DSL for consistency checks between architecture, code, tests, and requirements.</li> <li>Architecture prepared for modern interrupt controllers, including GICv3, GICv4, GICv5 capabilities.</li> </ul> <p>V8R is currently under active development. The foundation already covers full set of requirements, architecture decomposition, DSL for unit design formal verification.</p> <p>Sincerely yours,</p> <p>Alex</p> http://www.sevirt.com/index.php?controller=post&amp;action=view&amp;id_post=29 2026-06-18T22:07:28+02:00 <p>Dear Visitor,</p> <p> </p> <p>Hereby I'm happy to share the results of second long run test.</p> <p>Total achieved uptime: 224 days.</p> <p>Configuration layout: FreeRTOS, Linux Passthrough, Linux.</p> <p>Workloads:</p> <p>1. FreeRTOS: Watchdog keep alive Linux monitor and loop with 10 seconds print delay</p> <p>2. Linux Passthrough: CPU stress benchmark + simple network ping to Linux</p> <p>3. Linux: top</p> <p>Please see the last screenshoot of the second long run test below.</p> <p><img src="http://www.sevirt.com/content/public/upload/screenshot2023-09-19at15.23.09_0_o.png" alt="undefined" /></p> <p>The second long run test has external release of V8 with fully integrated V8IPCF support.</p> <p> </p> <p>Feel free to contact us over email <a href="mailto:secuvirt@gmail.com" target="_blank">secuvirt@gmail.com</a> for details and collaboration requests. </p> <p> </p> <p>Best regards,</p> <p>Alex</p> http://www.sevirt.com/index.php?controller=post&amp;action=view&amp;id_post=26 2023-09-19T15:40:13+02:00 <p>Dear Visitor,</p> <p>Hereby I'm happy to announce increase of supported platforms number.</p> <p>Currently there are 4 platforms supported out of the box.</p> <p>Schedule of new hypervisor version release with these 2 new platforms will be announced soon.</p> <p>Feel free to contact us over email <a href="mailto:secuvirt@gmail.com" target="_blank">secuvirt@gmail.com</a> for details and collaboration requests.</p> <p>Best regards,</p> <p>Alex</p> http://www.sevirt.com/index.php?controller=post&amp;action=view&amp;id_post=25 2022-10-01T19:02:31+02:00