diff --git a/etc/platforms.txt b/etc/platforms.txt
index e459795..42b27bc 100644
--- a/etc/platforms.txt
+++ b/etc/platforms.txt
@@ -1,5 +1,3 @@
--p mps2/an385
--p mps2/an521/cpu0
 -p qemu_cortex_m0
 -p qemu_cortex_m3
 -p qemu_riscv32