Remove stale Xen support

Fixes #4859

repos/base/run/log.run

@@ -23,7 +23,6 @@ install_config {
 build_boot_image [build_artifacts]
 
 append qemu_args "-nographic "
-append xen_args  { sdl="0" }
 
 run_genode_until "Test done.*\n" 20
 

repos/ports/run/lighttpd.run

@@ -225,6 +225,5 @@ build_boot_image { }
 
 append qemu_args " -nographic "
 append_qemu_nic_args "hostfwd=tcp::5555-:80,hostfwd=tcp::5556-:443"
-append xen_args  { sdl=0\; vif=\["model=e1000,mac=02:00:00:00:01:01,bridge=xenbr0"\] }
 
 run_genode_until forever

tool/run/log/xen

@@ -1,38 +0,0 @@
-##
-# Capture the output of a scenario executed via Xen
-#
-
-source [genode_dir]/tool/run/log.inc
-source [genode_dir]/tool/run/xen.inc
-
-
-proc run_log { wait_for_re timeout_value } {
-	global xen_spawn_id
-	global output_spawn_id
-
-	set output_spawn_id $xen_spawn_id
-
-	set kernel_msg [run_boot_string]
-
-	if {$wait_for_re == "forever"} {
-		set timeout -1
-	} else {
-		set timeout $timeout_value
-	}
-
-	expect {
-		-i $output_spawn_id $kernel_msg { }
-		eof         {
-			puts stderr "Aborting, received EOF"
-			return false
-		}
-		timeout     {
-			puts stderr "Boot process timed out"
-			close
-			return false
-		}
-	}
-
-	wait_for_output $wait_for_re $timeout_value $xen_spawn_id
-	return true
-}

tool/run/power_off/xen

@@ -1,3 +0,0 @@
-proc run_power_off { } {
-	catch { exec sudo xl destroy "genode-hvm" }
-}

tool/run/power_on/xen

@@ -1,36 +0,0 @@
-##
-# Reset the target machine or rather run the scenario as Xen DomU
-#
-
-source [genode_dir]/tool/run/xen.inc
-
-
-##
-# Execute scenario using xl
-#
-proc run_power_on { } {
-	global xen_args
-	global xen_spawn_id
-
-	#
-	# Back out on platforms w/o Xen support
-	#
-	if {![is_xen_available]} { return 0 }
-
-	set xen_base_args { \
-		builder="hvm"\; \
-		name="genode-hvm"\; \
-		cpus="1"\; \
-		memory="512"\; \
-		serial="pty"\; \
-		sdl="1"\; \
-		vnc="0"\; \
-		disk=\["file:[run_dir].iso,hdc:cdrom,r"\]\; \
-		boot="d"\; \
-	}
-
-	eval spawn sudo xl create -c /dev/null $xen_base_args $xen_args
-	set xen_spawn_id $spawn_id
-
-	return true
-}

tool/run/xen.inc

@@ -1,31 +0,0 @@
-set xen_spawn_id    ""
-set xen_args        [get_cmd_arg --xen-args ""]
-
-
-#
-# Enable run scripts to extend 'xen_arg' via 'append' without bothering
-# about the required whitespace in front of the custom arguments.
-#
-append xen_args " "
-
-
-proc xen_args { } {
-	global xen_args
-	return $xen_args
-}
-
-
-##
-# Check whether Xen support is available
-#
-# XXX should by removed in favor of [have_include "exec/xen"]
-#
-proc is_xen_available { } {
-	if {[have_spec linux]} { return false }
-
-	if {![have_spec x86]} {
-		puts stderr "skipping execution because platform is not supported by Xen"
-		return false
-	}
-	return true
-}