Raspberry Pi: Now mostly open-source · HackerTrans