diff --git a/build/microdroid/Android.bp b/build/microdroid/Android.bp
index 7f23ae6..20980e0 100644
--- a/build/microdroid/Android.bp
+++ b/build/microdroid/Android.bp
@@ -560,6 +560,12 @@
             src: ":microdroid_kernel_prebuilt-x86_64",
         },
     },
+    props: [
+        {
+            name: "com.android.virt.page_size",
+            value: "16",
+        },
+    ],
     include_descriptors_from_images: [
         ":microdroid_16k_initrd_normal_hashdesc",
         ":microdroid_16k_initrd_debug_hashdesc",