У меня была одна и та же проблема, и я решил ее следующим образом.
Я загрузил пакет tinyos из своего github repo tiny-os-main. Я извлек его на свой рабочий стол (вы можете извлечь его там, где хотите, и запишите путь). Затем я установил tinyos-tools из apt с помощью apt-get install tinyos-tools. Затем я следил за 3-ей инструкцией по установке автоматической установки - TinyOS Wiki для настройки среды. «Local-tinyos-path» - это путь, который вы указали на шаге 2.Btw Я использую Ubuntu 14.04.
Надеюсь, это поможет.
Обратите внимание, что ваша версия прошивки - 1.157. Я предлагаю вам обновить прошивку до последней версии 1.164. Из терминала:
wget http://mirrors.kernel.org/ubuntu/pool/main/l/linux-firmware/linux-firmware_1.164_all.deb
sudo dpkg -i linux-firmware*.deb
Как было предложено, я также рекомендую установить последнюю версию ядра не из предложенных.
Перезагрузите и снова проверьте журнал. [!d3 ]
В нашей дискуссии в чате я предположил, что это, возможно, проблема в настройках BIOS компьютера. Я рекомендовал попробовать сбросить BIOS до значений по умолчанию, и вы сообщили, что проблема была исправлена. Спасибо за отчетность, поскольку я уверен, что довольно много поисковиков найдут решение и извлекут выгоду из вашего отчета.
Обратите внимание, что ваша версия прошивки - 1.157. Я предлагаю вам обновить прошивку до последней версии 1.164. Из терминала:
wget http://mirrors.kernel.org/ubuntu/pool/main/l/linux-firmware/linux-firmware_1.164_all.deb
sudo dpkg -i linux-firmware*.deb
Как было предложено, я также рекомендую установить последнюю версию ядра не из предложенных.
Перезагрузите и снова проверьте журнал.
В нашей дискуссии в чате я предположил, что это, возможно, проблема в настройках BIOS компьютера. Я рекомендовал попробовать сбросить BIOS до значений по умолчанию, и вы сообщили, что проблема была исправлена. Спасибо за отчетность, поскольку я уверен, что довольно много поисковиков найдут решение и извлекут выгоду из вашего отчета.
Обратите внимание, что ваша версия прошивки - 1.157. Я предлагаю вам обновить прошивку до последней версии 1.164. Из терминала:
wget http://mirrors.kernel.org/ubuntu/pool/main/l/linux-firmware/linux-firmware_1.164_all.deb
sudo dpkg -i linux-firmware*.deb
Как было предложено, я также рекомендую установить последнюю версию ядра не из предложенных.
Перезагрузите и снова проверьте журнал.
В нашей дискуссии в чате я предположил, что это, возможно, проблема в настройках BIOS компьютера. Я рекомендовал попробовать сбросить BIOS до значений по умолчанию, и вы сообщили, что проблема была исправлена. Спасибо за отчетность, поскольку я уверен, что довольно много поисковиков найдут решение и извлекут выгоду из вашего отчета.