ARM-CONSOLE TIPS & AVOIDING FAILED BACKENDS
The arm-console command transfers your compiled kernel onto an available Raspberry Pi 3 board. After running the command, if all goes well, you should see the message "kexecing new kernel..". This is the kernel transfer procedure. If you do not see this message, it means the backend machine is not functioning properly. Luckily, you can specify a different backend by adding it as a parameter to the arm-console command. First, note the name of the bad backend machine so you can avoid it ('auton' in the example below'):
$ arm-console
spawn xinu-console -c rpi3
connection 'auton', class 'rpi3', host 'morbius.mscsnet.mu.edu'
…
Next, run xinu-status -c rpi3 to print a list of Pi3-class boards (one of these are chosen for you when running arm-console without parameters). Pick one from the list, and then run arm-console .
If all goes well, you should see a "Hello Xinu World" message after "kexecing new kernel..".