Re: Is anything weird going on w/ platform/hardware/linaro/tinyhal?