mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
The ROM prefetcher service can be used to prefetch complete ROM files, which is handy when using the iso9660 server (which normally reads file content block-wise on demand). The server used to perform the prefetching upon request of the respective ROM session. This patch adds a facility for prefetching a predefined list of files. It is primarily intended for eagerly fetching live-CD content in the background after having passed the first boot stage.