diff --git a/common_arm/Makefile.hal b/common_arm/Makefile.hal
index 794acdc1a..411744037 100644
--- a/common_arm/Makefile.hal
+++ b/common_arm/Makefile.hal
@@ -21,6 +21,8 @@ Known definitions:
 +----------------------------------------------------------+
 | PM3EVO          | Proxmark3 EVO       with AT91SAM7S512  |
 +----------------------------------------------------------+
+| PM3V40          | Proxmark3 V4.0      with AT91SAM7S512  |
++----------------------------------------------------------+
 | PM3EASY         | Proxmark3 rdv3 Easy with AT91SAM7S256  |
 +----------------------------------------------------------+
 | PM3EASY512      | Proxmark3 rdv3 Easy with AT91SAM7S512  |
@@ -72,6 +74,9 @@ ifeq ($(PLATFORM),PM3RDV4)
 else ifeq ($(PLATFORM),PM3EVO)
     MCU = AT91SAM7S512
     PLTNAME = Proxmark3 EVO
+else ifeq ($(PLATFORM),PM3V40)
+    MCU = AT91SAM7S512
+    PLTNAME = Proxmark3 V4.0
 else ifeq ($(PLATFORM),PM3EASY)
     MCU = AT91SAM7S256
     PLTNAME = Proxmark3 rdv3 Easy
diff --git a/doc/md/Use_of_Proxmark/4_Advanced-compilation-parameters.md b/doc/md/Use_of_Proxmark/4_Advanced-compilation-parameters.md
index c1ac92fc4..270682696 100644
--- a/doc/md/Use_of_Proxmark/4_Advanced-compilation-parameters.md
+++ b/doc/md/Use_of_Proxmark/4_Advanced-compilation-parameters.md
@@ -32,6 +32,7 @@ Here are the supported values you can assign to `PLATFORM` in `Makefile.platform
 |-----------------|----------------------------------------|
 | PM3RDV4 (def)   | Proxmark3 rdv4      with AT91SAM7S512  |
 | PM3EVO          | Proxmark3 EVO       with AT91SAM7S512  |
+| PM3V40          | Proxmark3 V4.0      with AT91SAM7S512  |
 | PM3EASY         | Proxmark3 rdv3 Easy with AT91SAM7S256  |
 | PM3EASY512      | Proxmark3 rdv3 Easy with AT91SAM7S512  |
 | PM3RDV2         | Proxmark3 rdv2      with AT91SAM7S512  |
@@ -40,6 +41,8 @@ Here are the supported values you can assign to `PLATFORM` in `Makefile.platform
 
 By default `PLATFORM=PM3RDV4`.
 
+Note that besides `PM3RDV4` and its unique features, all other platforms are equivalent and the MCU version (256 or 512) will be detected automatically during flashing.
+
 Known issues:
 
 * 256kb Arm chip devices: The compiled firmware image from this repo may/will be too large for your device.