# SculptOS kernel selection?

**URL:** https://genode.discourse.group/t/sculptos-kernel-selection/259
**Category:** Genode and Sculpt OS
**Created:** [January 25, 2026, 8:14pm UTC](https://genode.discourse.group/t/sculptos-kernel-selection/259 "2026-01-25T20:14:13Z")
**Posts on this page:** 1
**Showing post:** 5

<div class="post-metadata">

### Author: ![alex-ab](https://dub1.discourse-cdn.com/flex006/user_avatar/genode.discourse.group/alex-ab/32/10_2.png) [@alex-ab](https://genode.discourse.group/u/alex-ab)
#### Post date: [January 26, 2026, 3:40pm UTC](https://genode.discourse.group/t/sculptos-kernel-selection/259/5 "2026-01-26T15:40:13Z")

</div>

> [@G0retZ](#):
>
> Judging from the efforts put into HW and how low TCB it gives it seems a way to go. But for some reason all 2025 SculptOS releases were provided with NOVA despite of limitations mentioned in the Foundations book. And if I got it right, Seoul (Vancouver) virtualization is supported only for NOVA, meaning no virtualization for HW (no VBox or Qemu?)…

Virtualization on x86\_64 is since 2019 (or short after [0]) in principle kernel independent. So, Vbox6 and Seoul should be runnable on all modern kernels. Well, why I say “should” or “principle” ? We don’t test all possible variations manually (man power, interest), so I think you should expect issues.

As Seoul maintainer I can only say, that it works for me on my Intel notebook and AMD desktop (Ryzen 5700) quite well for -nova-.

[0] [FOSDEM 2019 - Microkernel virtualization under one roof](https://archive.fosdem.org/2019/schedule/event/microkernel_virtualization)

---

_[View the full topic](https://genode.discourse.group/t/sculptos-kernel-selection/259)._