Hello Stefan, I would not worry about this error, it will disappear in the near future and for the moment you should not suffer any side effects.
Regards, Emery On Tuesday, July 17, 2018 1:46:51 PM CEST, Stefan Thöni wrote:
Hello Genodians, when the verify tool is terminated by removal from the init config after having done its job both ram_fs used for public and depot yield an "Error: ID space not empty at destruction time". Should I worry about these errors? Bests Stefan
_______________________________________________ Genode users mailing list [email protected] https://lists.genode.org/listinfo/users
