Raspberry Pi port, piCore-15.0 is available!
Create a separate user, and don't give root or tc user passwords out. That separate user can have sudo with password, or no sudo right at all.