I have a leaflabs maple board (ARM Cortex M3) that comes with an IDE (Arduino like). I want to burn a kernel into my board... I'm thinking of using ChibiOS' kernel. I want to know how do i burn a kernel in the muc? The only way to program it right now is thru the IDE(thru the USB interface). Do I use the IDE only to burn the kernel or some other interface is used for this purpose?