Renode is not installed automatically, and no instructions

[tcal-x]

The use needs a Renode install if they're going to use it :)

Probably want Renode Portable, rather than a Debian package.

[PiotrZierhoffer]

This is ongoing, should be addressed soon