diff --git a/package/avm/hal/10-pamconsole.fdi b/package/avm/hal/10-pamconsole.fdi
new file mode 100644
index 000000000..d686591bb
--- /dev/null
+++ b/package/avm/hal/10-pamconsole.fdi
@@ -0,0 +1,13 @@
+
+
+
+
+
+
+
+ user
+ false
+
+
+
+
diff --git a/package/avm/hal/20-users.fdi b/package/avm/hal/20-users.fdi
new file mode 100644
index 000000000..51b701c3a
--- /dev/null
+++ b/package/avm/hal/20-users.fdi
@@ -0,0 +1,9 @@
+
+
+
+
+
+ true
+
+
+