That’s disappointing to hear especially as ARM is picking up in popularity. Do you know if this lack of access to kernel sources is an issue that Linaro is working on or is outside of their ambit?