I'm willing to write a patch for boards.cfg that would not mix spaces and tabs in this file. What is the prefered way - spaces or tabs? Regards, Luka