mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-21 10:01:57 +00:00
parent
a6a196f042
commit
26918b82b3
@ -80,6 +80,12 @@ void Platform::_init_additional()
|
||||
xml.attribute("pitch", boot_fb.pitch);
|
||||
});
|
||||
});
|
||||
xml.node("hardware", [&] () {
|
||||
xml.node("features", [&] () {
|
||||
xml.attribute("svm", false);
|
||||
xml.attribute("vmx", false);
|
||||
});
|
||||
});
|
||||
});
|
||||
|
||||
if (!unmap_local(virt_addr, pages)) {
|
||||
|
Loading…
x
Reference in New Issue
Block a user