diff --git a/repos/pc/run/intel_fb.run b/repos/pc/run/intel_fb.run index 40322afadd..8c4e860298 100644 --- a/repos/pc/run/intel_fb.run +++ b/repos/pc/run/intel_fb.run @@ -14,6 +14,9 @@ if {[get_cmd_switch --autopilot] && [have_board linux]} { # Build # +create_boot_directory + +set use_usb 1 set use_gpu 1 set use_top 0 set use_fb_controller 0 @@ -23,6 +26,15 @@ if {$use_fb_controller} { set apply_on_hotplug "yes" } +if {$use_usb} { + import_from_depot [depot_user]/src/pc_usb_host +} + +import_from_depot [depot_user]/src/fs_rom \ + [depot_user]/src/vfs \ + [depot_user]/src/vfs_import \ + [depot_user]/src/report_rom + set build_components { core lib/ld init timer driver/acpi @@ -30,9 +42,6 @@ set build_components { app/pci_decode driver/framebuffer/intel/pc test/framebuffer - server/report_rom - server/vfs lib/vfs lib/vfs_import - server/fs_rom } append_if $use_gpu build_components { driver/gpu/intel } @@ -40,8 +49,6 @@ append_if $use_top build_components { app/top } build $build_components -create_boot_directory - # # Generate config # @@ -135,6 +142,9 @@ append config { + + + @@ -148,6 +158,7 @@ append config { + @@ -192,6 +203,14 @@ append config { + + + + + + + + @@ -264,6 +283,21 @@ append config { } +append_if $use_usb config { + + + + + + + + + + + + + } + append_if $use_fb_controller config {