I tried to find out where one can get a Juno board, but didn't find out.
So where do people get them and what kind of prices do they have?
If he can find another $20 - maybe do some busking?
https://www.96boards.org/products/ce/hikey/
I think he might get one of the 96boards' products. The $100 was rather a price class than an absolute limit.
He is not, however ready to put hundreds into it, because he is basically using the board for testing that his code (for FreeBSD) also works on 64-bit ARM.
Well, the Juno board has never been intended to be a mass product!
It was produced in a small series as the very first ARM 64-bit development platform available.
The 96boards board has been really well received. I hope it delivers when you get your hands on it. I know many ARM employees are going to buy one... or more!