I published a Sculpt OS variant for PC (x86_64) that uses base-hw (Genode’s custom kernel) instead of NOVA. There are actually two different flavours: a version without IRQ remapping and a version with IRQ remapping for Intel CPUs. Although the latter has not been tested extensively, there are no known issues with this feature.