Setting the 'size' attribute will restrict a reader to consume 0s up to the specified amount per VFS handle. The attribute is parsed as 'Number_of_bytes', which will limit the amount to the maximum of the addressable memory on the platform. This addition comes in handy when needing to provide a synthetic empty file with a fixed size. Issue #3781.
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.