diff --git a/book/src/osdk/guide/intel-tdx.md b/book/src/osdk/guide/intel-tdx.md
index c4799c29a..243b4fd54 100644
--- a/book/src/osdk/guide/intel-tdx.md
+++ b/book/src/osdk/guide/intel-tdx.md
@@ -60,7 +60,6 @@ qemu.args = """\
     -drive file=target/osdk/asterinas/asterinas.qcow2,if=virtio,format=qcow2 \
     -monitor telnet:127.0.0.1:9001,server,nowait \
     -bios /root/ovmf/release/OVMF.fd \
-    -object tdx-guest,sept-ve-disable=on,id=tdx0 \
     -cpu host,-kvm-steal-time,pmu=off \
     -machine q35,kernel-irqchip=split,confidential-guest-support=tdx0 \
     -smp 1 \
diff --git a/osdk/tests/util/scheme.tdx.template b/osdk/tests/util/scheme.tdx.template
index 7edf3d8bb..a8e6caf7d 100644
--- a/osdk/tests/util/scheme.tdx.template
+++ b/osdk/tests/util/scheme.tdx.template
@@ -10,7 +10,6 @@ qemu.args = """
     -monitor pty \
     -nodefaults \
     -bios /root/ovmf/release/OVMF.fd \
-    -object tdx-guest,sept-ve-disable=on,id=tdx0 \
     -cpu host,-kvm-steal-time,pmu=off \
     -machine q35,kernel-irqchip=split,confidential-guest-support=tdx0 \
     -device virtio-keyboard-pci,disable-legacy=on,disable-modern=off \