1.1 --- a/pkg/devices/util/src/dataspace.cc Fri Apr 19 16:18:16 2024 +0200
1.2 +++ b/pkg/devices/util/src/dataspace.cc Fri Apr 19 16:19:49 2024 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Data space allocation utility functions.
1.6 *
1.7 - * Copyright (C) 2018, 2023 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2023, 2024 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -20,6 +20,7 @@
1.13 */
1.14
1.15 #include <l4/re/c/mem_alloc.h>
1.16 +#include <l4/re/c/rm.h>
1.17
1.18 #include <ipc/mem_ipc.h>
1.19
2.1 --- a/pkg/devices/util/src/dma.cc Fri Apr 19 16:18:16 2024 +0200
2.2 +++ b/pkg/devices/util/src/dma.cc Fri Apr 19 16:19:49 2024 +0200
2.3 @@ -22,6 +22,7 @@
2.4 #include <l4/re/c/dataspace.h>
2.5 #include <l4/re/c/dma_space.h>
2.6 #include <l4/re/c/mem_alloc.h>
2.7 +#include <l4/re/c/rm.h>
2.8 #include <l4/re/env.h>
2.9 #include <l4/re/protocols.h>
2.10 #include <l4/sys/factory.h>