For example, this build guide to get OpenBSD booting on a Libre Computer rk3399-roc-pc no longer works, but this guide helped me port NetBSD to the board. Show me in the guide where i'm using proprietary binaries, looks like I'm compiling everything except for OpenBSD itself, which is FOSS anyways.