Alright, what would it take to make a completely open source firmware for the pi? I think there was some prior effort that got discontinued...