diff --git a/projects/miragesdk/src/dhcp-client-calf/unikernel.mli b/projects/miragesdk/src/dhcp-client-calf/unikernel.mli
new file mode 100644
index 000000000..e790aeb70
--- /dev/null
+++ b/projects/miragesdk/src/dhcp-client-calf/unikernel.mli
@@ -0,0 +1 @@
+(* empty *)
diff --git a/projects/miragesdk/src/dhcp-client/main.mli b/projects/miragesdk/src/dhcp-client/main.mli
new file mode 100644
index 000000000..e790aeb70
--- /dev/null
+++ b/projects/miragesdk/src/dhcp-client/main.mli
@@ -0,0 +1 @@
+(* empty *)