https://www.armbian.com/orange-pi-one/   Is the armbian stretch system a free software system as defined by the free software foundation? Thanks.