I decided to give it a try, but I don’t see any binaries. Are there any build instructions for Debian on VF2?