Hi Jahn,
It sounds like you did all of the steps correctly, and it's promising that the libtock-c app works.
The process console is enabled, so you should be able to interact with the board via the serial terminal. Specifically, entering the "list" command should list the currently enabled processes.
One challenge with using libtock-rs is that we do not have the same PIC support that we do on libtock-c. So, it's possible that the libtock-rs app is being compiled for a fixed address which does not line up with where the app is actually located on the board (either in flash or in RAM, or both). In that case, `tockloader list` would should the app as being installed, but the process console would not show the process as active because it cannot be loaded. It is also possible to enable the `debug_load_processes` config flag (
https://github.com/tock/tock/blob/master/kernel/src/config.rs#L92) to see more information when processes are loaded. If an address mismatch is the issue, the fix is to modify the addresses here (
https://github.com/tock/libtock-rs/blob/master/build_scripts/src/lib.rs#L19) to where the app is actually running (PR would be welcome!).
If that isn't the issue, we can keep debugging.
- Brad