TinyOS settings for MX Linux