diff --git a/repos/os/include/os/smbios.h b/repos/os/include/smbios/smbios.h similarity index 100% rename from repos/os/include/os/smbios.h rename to repos/os/include/smbios/smbios.h diff --git a/repos/os/recipes/src/acpi_drv/content.mk b/repos/os/recipes/src/acpi_drv/content.mk index ef2d6490a..f162d436d 100644 --- a/repos/os/recipes/src/acpi_drv/content.mk +++ b/repos/os/recipes/src/acpi_drv/content.mk @@ -1,2 +1,6 @@ SRC_DIR = src/drivers/acpi include $(GENODE_DIR)/repos/base/recipes/src/content.inc + +content: $(GENODE_DIR)/repos/os/include/smbios + mkdir -p include + cp -r $< include/smbios diff --git a/repos/os/src/app/smbios_decoder/main.cc b/repos/os/src/app/smbios_decoder/main.cc index 795d8d4c3..00d252ce0 100644 --- a/repos/os/src/app/smbios_decoder/main.cc +++ b/repos/os/src/app/smbios_decoder/main.cc @@ -13,7 +13,7 @@ */ /* Genode includes */ -#include +#include #include #include #include diff --git a/repos/os/src/drivers/acpi/smbios_table_reporter.cc b/repos/os/src/drivers/acpi/smbios_table_reporter.cc index f2be91667..74d697808 100644 --- a/repos/os/src/drivers/acpi/smbios_table_reporter.cc +++ b/repos/os/src/drivers/acpi/smbios_table_reporter.cc @@ -18,7 +18,7 @@ /* Genode includes */ #include #include -#include +#include #include using namespace Genode;