search

genodelabs / genode-world

Collection of community-maintained components for Genode
Other
44 stars 46 forks source link

user_keys: update rom_to_file config #290

Closed jschlatow closed 2 years ago

jschlatow commented 2 years ago

Since rom_to_file changed from using the file-system session directly to using the vfs, it must be provided with a vfs config.

jschlatow commented 2 years ago

Fixed by 72f765a