config/arm: add platform config option
[dpdk.git] / config / arm / arm64_armada_linux_gcc
index 9958db6..3014189 100644 (file)
@@ -14,8 +14,4 @@ cpu = 'armv8-a'
 endian = 'little'
 
 [properties]
-implementer_id = '0x56'
-part_number = '0xd08'
-max_lcores = 16
-max_numa_nodes = 1
-numa = false
+platform = 'armada'