So you see the non-free-and-open Raspberry Pi as a real development environment. That's nice.