set ui "menu_view"
source ${genode_dir}/repos/gems/run/file_vault.inc