Raspberry Pi port, piCore-15.0 is available!
Note: It is very important to set the permissions on the startup script to root:staff/775. The same for the /usr/local/tce.installed directory itself. This directory needs to be read/write/execute for group staff.
Groupd needs to be staff and the perms need to be 775 for the /usr/local/tce.installed directory and preferably also for the file.
As root, or using sudo, use these commandschown -R root:staff package/usr/local/tce.installedchmod -R 775 package/usr/local/tce.installedbefore packing the extensions. That will ensure the right perms.