seoul: enable AVX support

Add preliminary support. Tested on Sculpt 24.04 with nova kernel on AMD and Intel in a Debian 12 VM. genodelabs/genode#5314
genodelabs · Aug 27, 2024 · 294332b · 294332b
1 parent 18e3727
commit 294332b
Show file tree

Hide file tree

Showing 6 changed files with 285 additions and 102 deletions.
diff --git a/ports/seoul.hash b/ports/seoul.hash
@@ -1 +1 @@
-00919d161b29b6afdd659bc42a21872172e548c4
+f95e89365da6583fded7d5816e580a0e4592c618
diff --git a/ports/seoul.port b/ports/seoul.port
@@ -4,7 +4,7 @@ DOWNLOADS := seoul.git
 
 URL(seoul) := https://github.com/alex-ab/seoul.git
 # branch genode_24_07
-REV(seoul) := 09f752caa8ae4c350ddefd7345d18d00d364ce80
+REV(seoul) := 76b55d6b2175facfac0d2ee7a66fc45a974cdb23
 DIR(seoul) := src/app/seoul
 
 #

diff --git a/run/seoul-disc-64.run b/run/seoul-disc-64.run
@@ -30,7 +30,12 @@ set use_virtio        0
 
 set cpuid_native      "yes"
 
-if {[have_include power_on/qemu]} {
+if {![have_include power_on/qemu]} {
+	set use_block_ram  1
+	set use_block_sata 0
+}
+
+if {[have_include power_on/qemu] || [expr $use_block_ram]} {
 	set uri   "http://depot.genode.org/alex-ab/images"
 	set image "seoul-disc-64.raw"
 

diff --git a/run/seoul.inc b/run/seoul.inc
@@ -10,8 +10,10 @@ set use_fs_rump $use_block_vdi
 if {![info exists use_ahci]} { set use_ahci 0 }
 
 # for uefi boot_fb works
-# set fb_name "boot_fb"
-set fb_name "vesa_fb"
+set fb_name "boot_fb"
+if {[have_include power_on/qemu] && ([have_include image/iso] || [have_include image/disk])} {
+	set fb_name "vesa_fb"
+}
 
 set use_drv_ahci  [expr  $use_ahci && ($use_block_vdi || $use_block_sata)]
 set use_drv_nvme  [expr !$use_ahci && ($use_block_vdi || $use_block_sata)]
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		00919d161b29b6afdd659bc42a21872172e548c4
		f95e89365da6583fded7d5816e580a0e4592c618