We're currently negotiating with Rockchip and will first try to convince them to open source. This particular binary isn't a problem right now. I'm sure it will be open source sooner or later. All efforts are currently focused on hardware validation, and software is being developed only in areas where hardware verification is required.