HomeIsabelle/Phabricator
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.

Written by makarius on Oct 26 2020, 9:42 PM.
User
Projects
None
Subscribers
None

Event Timeline