mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
* adds rekeying and resizing controls to config+report api of file vault * moves common types of file vault to file_vault/include/file_vault/types.h to be included by other components * fixes wrong type of nr_of_clients fields in file_vault * introduces the file_vault_gui component that is a minimal graphical front end for the file vault based on the dialog lib and that uses the config+report api of the file vault as back end Ref #5190