diff --git a/repos/ports/ports/seoul.hash b/repos/ports/ports/seoul.hash index 36acacd18..1745ba0e1 100644 --- a/repos/ports/ports/seoul.hash +++ b/repos/ports/ports/seoul.hash @@ -1 +1 @@ -2268b636aa898dfb1fd9f30e4311e7a9b27a9f22 +7db393027be704bf5f6b82a5083eaa3a09d0f65f diff --git a/repos/ports/ports/seoul.port b/repos/ports/ports/seoul.port index 04383ff02..6f7b8d545 100644 --- a/repos/ports/ports/seoul.port +++ b/repos/ports/ports/seoul.port @@ -4,7 +4,7 @@ DOWNLOADS := seoul.git URL(seoul) := https://github.com/alex-ab/seoul.git # branch pae - containing smp and vbios patches -REV(seoul) := 7b228f6a210b827b9be7c9e2d30cd4095a32b2ab +REV(seoul) := c10ccdd1addde7c7175d39421e2e00e85d8a2c14 DIR(seoul) := src/app/seoul # diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index 0f681b8da..f4fdcad6a 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -18,9 +18,9 @@ set build_components { core init drivers/timer drivers/rtc - app/seoul drivers/pci drivers/input + app/seoul } if {$use_fancy_stuff} { set use_framebuffer 1 } @@ -34,9 +34,12 @@ lappend_if $use_nic_session build_components drivers/nic lappend_if $use_nic_bridge build_components server/nic_bridge lappend_if $use_framebuffer build_components drivers/framebuffer lappend_if $use_fancy_stuff build_components server/nitpicker +lappend_if $use_fancy_stuff build_components app/pointer +lappend_if $use_fancy_stuff build_components app/status_bar lappend_if $use_fancy_stuff build_components server/liquid_framebuffer lappend_if $use_fancy_stuff build_components app/launchpad lappend_if $use_fancy_stuff build_components server/nitlog +lappend_if $use_fancy_stuff build_components server/report_rom lappend_if $use_genode_iso build_components server/iso9660 lappend_if $use_genode_iso build_components server/rom_blk @@ -289,6 +292,22 @@ append_if $use_usb config { append_if $use_fancy_stuff config { + + + + + + + + + + + + + + + + @@ -296,12 +315,31 @@ append_if $use_fancy_stuff config { + + + + + + + + + + + + + + + + + + + - + } @@ -394,11 +432,16 @@ lappend_if $use_block_sata boot_modules ahci lappend_if $use_nic_session boot_modules nic_drv lappend_if $use_nic_bridge boot_modules nic_bridge lappend_if $use_framebuffer boot_modules fb_drv + lappend_if $use_fancy_stuff boot_modules nitpicker +lappend_if $use_fancy_stuff boot_modules pointer +lappend_if $use_fancy_stuff boot_modules status_bar lappend_if $use_fancy_stuff boot_modules liquid_fb lappend_if $use_fancy_stuff boot_modules launchpad lappend_if $use_fancy_stuff boot_modules nitlog lappend_if $use_fancy_stuff boot_modules launchpad-config +lappend_if $use_fancy_stuff boot_modules report_rom + lappend_if $use_genode_iso boot_modules rom_blk lappend_if $use_genode_iso boot_modules iso9660 lappend_if $use_genode_iso boot_modules genode.iso