--- a/Admin/PLATFORMS Sat Oct 03 19:56:02 2020 +0200
+++ b/Admin/PLATFORMS Sat Oct 03 21:54:53 2020 +0200
@@ -50,8 +50,7 @@
New (experimental):
- arm64-linux Ubuntu 20.04 LTS
-
+ arm64-linux Raspberry Pi OS 64bit beta (Debian 10 / Buster)
64 bit vs. 32 bit platform personality