Adaptation to Genode 15.11

run/numptyphysics.run

@@ -6,11 +6,10 @@ set build_components {
 	core init
 	drivers/timer
 	app/numptyphysics server/ram_fs
-	drivers/framebuffer drivers/pci drivers/input
+	drivers/framebuffer drivers/platform drivers/input
 }
 
-lappend_if [have_spec usb]          build_components drivers/usb
-lappend_if [have_spec platform_rpi] build_components drivers/platform
+lappend_if [have_spec usb] build_components drivers/usb
 
 build $build_components
 
@@ -48,12 +47,6 @@ append_if [have_spec sdl] config {
 		</provides>
 	</start>}
 
-append_if [have_spec pci] config {
-	<start name="pci_drv" priority="-1">
-		<resource name="RAM" quantum="1M"/>
-		<provides><service name="PCI"/></provides>
-	</start>}
-
 append_if [have_spec platform_rpi] config {
 	<start name="platform_drv" priority="-1">
 		<resource name="RAM" quantum="1M"/>
@@ -65,6 +58,7 @@ append_if [have_spec framebuffer] config {
 	<start name="fb_drv" priority="-1">
 		<resource name="RAM" quantum="4M"/>
 		<provides><service name="Framebuffer"/></provides>
+		<config buffered="yes" />
 	</start>}
 
 append_if [have_spec ps2] config {
@@ -89,7 +83,7 @@ append config {
 	<start name="ram_fs" priority="-1">
 		<resource name="RAM" quantum="4M"/>
 		<provides> <service name="File_system"/> </provides>
-		<config> <policy label="" root="/" writeable="yes" /> </config>
+		<config> <policy writeable="yes" root="/"/> </config>
 	</start>
 
 	<start name="numptyphysics" priority="-2">
@@ -134,7 +128,6 @@ set boot_modules {
 
 # platform-specific modules
 lappend_if [have_spec        linux] boot_modules fb_sdl
-lappend_if [have_spec          pci] boot_modules pci_drv
 lappend_if [have_spec  framebuffer] boot_modules fb_drv
 lappend_if [have_spec          ps2] boot_modules ps2_drv
 lappend_if [have_spec          usb] boot_modules usb_drv