mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-19 23:53:55 +00:00
otherwise the estimated size may be too small because of sparse files and the creation of the image fails because of insufficient space in the image file. Seen with seL4 images Issue #5581