search

tock / book

Tock Hands-on Guide
MIT License
10 stars 11 forks source link

Instructions to open the process console are unclear #3

Closed JOE1994 closed 4 years ago

JOE1994 commented 4 years ago

Hello :smile_cat: , In this part of the Tock OS book, I'm not sure how I should open the process console.

image

In which step should I input help to open the process console ?? Typing help during the tockloader listen session doesn't seem to do anything..

Thank you!

bradjc commented 4 years ago

Running help in the tockloader listen terminal should do it. What hardware are you using and which version of the kernel are you running?

JOE1994 commented 4 years ago

Running help in the tockloader listen terminal should do it. What hardware are you using and which version of the kernel are you running?

I am using the Hail board, and I was using the kernel that was pre-installed with it.

I just updated the installed kernel with the following steps, and now the tockloader listen terminal works! Thank you :smile:

  1. cd tock/boards/hail
  2. make program