diff --git a/repos/base/include/base/id_space.h b/repos/base/include/base/id_space.h index 95b69c0ab9..73e87bccba 100644 --- a/repos/base/include/base/id_space.h +++ b/repos/base/include/base/id_space.h @@ -18,6 +18,7 @@ #include #include #include +#include #include namespace Genode { template class Id_space; } diff --git a/repos/base/include/base/quota_guard.h b/repos/base/include/base/quota_guard.h index f12105e631..e9c7022926 100644 --- a/repos/base/include/base/quota_guard.h +++ b/repos/base/include/base/quota_guard.h @@ -16,6 +16,7 @@ #include #include +#include namespace Genode { diff --git a/repos/base/include/base/signal.h b/repos/base/include/base/signal.h index 73efca52f9..4ee1e0085c 100644 --- a/repos/base/include/base/signal.h +++ b/repos/base/include/base/signal.h @@ -21,6 +21,7 @@ #include #include #include +#include /* only needed for base-hw */ namespace Kernel { struct Signal_receiver; } diff --git a/repos/base/include/base/weak_ptr.h b/repos/base/include/base/weak_ptr.h index 297a1674f4..ee48b6db83 100644 --- a/repos/base/include/base/weak_ptr.h +++ b/repos/base/include/base/weak_ptr.h @@ -17,6 +17,7 @@ #include #include #include +#include #include namespace Genode { diff --git a/repos/base/include/util/list_model.h b/repos/base/include/util/list_model.h index 5334f60228..b17a9fb5a4 100644 --- a/repos/base/include/util/list_model.h +++ b/repos/base/include/util/list_model.h @@ -23,6 +23,7 @@ #include #include #include +#include namespace Genode { diff --git a/repos/ports/src/virtualbox6/sup_vm.h b/repos/ports/src/virtualbox6/sup_vm.h index d12d6425e7..bafcde4bb3 100644 --- a/repos/ports/src/virtualbox6/sup_vm.h +++ b/repos/ports/src/virtualbox6/sup_vm.h @@ -15,6 +15,9 @@ #ifndef _SUP_VM_H_ #define _SUP_VM_H_ +/* Genode includes */ +#include + /* VirtualBox includes */ #include #include