diff --git a/docs/re.md b/docs/re.md
index 73ffeaa3c4cb868254767476752dde5a69aaea04..09e54e7b4113c8e9d48bd2f68c369efef5f9375a 100644
--- a/docs/re.md
+++ b/docs/re.md
@@ -95,6 +95,11 @@ static bool vmx_supported(void) {
 
 ### Enabling VMX in CR4
 
+> [!IMPORTANT]
+> Looks like, when virtualization has been activated through the BIOS, the 13th
+> bit of CR4 is **always** set. Thus, setting this bit manually seems to be a
+> no-op.
+
 In order to enter VMX operation, the software (our hypervisor) has to firstly
 enable VMX by setting the 13th bit of the CR4 register to 1. This will of course
 throw an exception if this code is being executed from user-space. That's why