mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-08 11:55:24 +00:00
parent
712df01341
commit
abd3855161
@ -228,8 +228,6 @@ void Component::construct(Genode::Env & env)
|
||||
managed[i] = 13;
|
||||
}
|
||||
|
||||
fault_handler.dissolve();
|
||||
|
||||
log("test destruction of region_map");
|
||||
Capability<Region_map> rcap = rm.create(4096);
|
||||
rm.destroy(rcap);
|
||||
|
Loading…
x
Reference in New Issue
Block a user