Great work! Hope you can get any help with it from DECUS/VMSports folks. What's the choice of the 64-bit OS for RPi? I was about to try this with my vanilla RP

Great work! Hope you can get any help with it from DECUS/VMSports folks. What's the choice of the 64-bit OS for RPi? I was about to try this with my vanilla RPi 3B+, just to realize it's 32-bit raspbian... BTW, VSI is readying x86 port of the OpenVMS [1], not sure how far would it maintain Alpha/IA version. [1]: https://vmssoftware.com/updates/state-of-the-port https://vmssoftware.com/updates/state-of-the-port