# # Build # set use_gpu 1 set use_top 0 set build_components { core init timer drivers/framebuffer/intel/pc test/framebuffer server/report_rom server/vfs server/fs_rom lib/vfs/import } append_if $use_gpu build_components { drivers/gpu/intel } append_if $use_top build_components { app/top } source ${genode_dir}/repos/base/run/platform_drv.inc append_platform_drv_build_components build $build_components create_boot_directory # # Generate config # append config { } append_platform_drv_config append config { } append_if $use_top config { } append config { } append_if $use_gpu config { } append config { } append_if $use_gpu config { } append config { } install_config $config # # Boot modules # # generic modules set boot_modules { core ld.lib.so init timer pc_intel_fb_drv intel_fb_controller test-framebuffer report_rom fs_rom vfs vfs.lib.so vfs_import.lib.so } append_if $use_gpu boot_modules { intel_gpu_drv } append_if $use_top boot_modules { top } append_platform_drv_boot_modules build_boot_image $boot_modules run_genode_until forever