diff --git a/repos/libports/recipes/src/acpi_event/content.mk b/repos/libports/recipes/src/acpi_event/content.mk new file mode 100644 index 0000000000..2b3f76a732 --- /dev/null +++ b/repos/libports/recipes/src/acpi_event/content.mk @@ -0,0 +1,7 @@ +SRC_DIR = src/app/acpi_event +include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: $(MIRROR_FROM_REP_DIR) + +$(MIRROR_FROM_REP_DIR): + $(mirror_from_rep_dir) diff --git a/repos/libports/recipes/src/acpi_event/hash b/repos/libports/recipes/src/acpi_event/hash new file mode 100644 index 0000000000..63e265ccdb --- /dev/null +++ b/repos/libports/recipes/src/acpi_event/hash @@ -0,0 +1 @@ +2023-06-15 7a2841924c23f30c23dc5790f3cbe4d1edae49b6 diff --git a/repos/libports/recipes/src/acpi_event/used_apis b/repos/libports/recipes/src/acpi_event/used_apis new file mode 100644 index 0000000000..510598b792 --- /dev/null +++ b/repos/libports/recipes/src/acpi_event/used_apis @@ -0,0 +1,3 @@ +base +os +event_session diff --git a/repos/libports/run/acpica.run b/repos/libports/run/acpica.run index 4dbba35fe9..67b54e048e 100644 --- a/repos/libports/run/acpica.run +++ b/repos/libports/run/acpica.run @@ -14,7 +14,6 @@ set build_components { server/event_dump app/pci_decode app/acpica - app/acpi_event } build $build_components @@ -26,7 +25,8 @@ import_from_depot [depot_user]/src/dynamic_rom \ [depot_user]/src/pc_usb_host_drv \ [depot_user]/src/ps2_drv \ [depot_user]/src/report_rom \ - [depot_user]/src/usb_hid_drv + [depot_user]/src/usb_hid_drv \ + [depot_user]/src/acpi_event set config { @@ -252,15 +252,7 @@ install_config $config # non PCI devices for platform_drv, e.g. ps2/pit file copy [select_from_repositories board/[board]/devices] [run_dir]/genode/devices -set boot_modules { - core init ld.lib.so - timer platform_drv pci_decode acpi_drv - acpica - acpi_event - event_dump -} - -build_boot_image $boot_modules +build_boot_image [build_artifacts] append qemu_args "-nographic "