Kernel tree for Ezurio (ex-Boundary Devices) platforms - View it on GitHub