proc jent_avail { } { if {[have_board pbxa9]} { return 0 } if {[have_board zynq_qemu]} { return 0 } return 1 } proc jent_avail_attr { } { if {[jent_avail]} { return "yes" } return "no" } build { app/file_vault app/file_vault_gui } create_boot_directory append archives " [depot_user]/src/[base_src] [depot_user]/src/init [depot_user]/src/libc [depot_user]/src/zlib [depot_user]/src/fs_query [depot_user]/src/tresor [depot_user]/src/vfs_block [depot_user]/src/report_rom [depot_user]/src/vfs [depot_user]/src/openssl [depot_user]/src/fs_tool [depot_user]/src/fs_utils [depot_user]/src/posix [depot_user]/src/vfs_rump [depot_user]/src/sandbox" append_if [jent_avail] archives " [depot_user]/src/vfs_jitterentropy " lappend archives [depot_user]/src/nitpicker lappend archives [depot_user]/src/menu_view lappend archives [depot_user]/src/libpng lappend archives [depot_user]/pkg/fonts_fs lappend archives [depot_user]/pkg/[drivers_interactive_pkg] lappend_if [have_board linux] archives [depot_user]/src/lx_fs import_from_depot $archives append config { } append_if [have_board linux] config { } append_if [expr ![have_board linux]] config { } append config { } install_config $config if {[have_board linux]} { exec mkdir -p bin/file_vault_gui_dir/data exec mkdir -p bin/file_vault_gui_dir/trust_anchor } append boot_modules [build_artifacts] lappend_if [have_board linux] boot_modules file_vault_gui_dir set fd [open [run_dir]/genode/focus w] puts $fd " \"/>" close $fd append qemu_args " -display gtk " build_boot_image $boot_modules run_genode_until forever