mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-18 21:27:56 +00:00
depot: recipe for acpi_event
This commit is contained in:
parent
6e607349e1
commit
c09b4ba46b
7
repos/libports/recipes/src/acpi_event/content.mk
Normal file
7
repos/libports/recipes/src/acpi_event/content.mk
Normal file
@ -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)
|
1
repos/libports/recipes/src/acpi_event/hash
Normal file
1
repos/libports/recipes/src/acpi_event/hash
Normal file
@ -0,0 +1 @@
|
||||
2023-06-15 7a2841924c23f30c23dc5790f3cbe4d1edae49b6
|
3
repos/libports/recipes/src/acpi_event/used_apis
Normal file
3
repos/libports/recipes/src/acpi_event/used_apis
Normal file
@ -0,0 +1,3 @@
|
||||
base
|
||||
os
|
||||
event_session
|
@ -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 {
|
||||
<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 "
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user