Experimental support for arm64-linux platform
System
- Experimental support for arm64-linux platform. The reference platform is Raspberry Pi 4 with 8 GB RAM running Pi OS (64 bit).
This refers to Isabelle/a471730347e0 where jdk for arm64-linux is included by default.
- Projects
- None
- Subscribers
- None