If the kernel is at /home/tc/kernel, likely you have run out of memory.
The kernel should be stored on a persistent drive. Can you plug in a USB drive to do the work? Take a look at this post, from someone who built a driver. https://forums.slimdevices.com/showthread.php?114828-Announce-piCorePlayer-8-0-0&p=1028338&viewfull=1#post1028338 I have not had time to update some information from this feedback. piCorePlayer a small player for the Raspberry Pi in RAM. Homepage: https://www.picoreplayer.org Please 'donate' (https://www.paypal.com/cgi-bin/webscr?cmd=_donations&business=U7JHY5WYHCNRU&lc=GB¤cy_code=USD&bn=PP%2dDonationsBF%3abtn_donateCC_LG%2egif%3aNonHosted) if you like the piCorePlayer ------------------------------------------------------------------------ paul-'s Profile: http://forums.slimdevices.com/member.php?userid=58858 View this thread: http://forums.slimdevices.com/showthread.php?t=114828 _______________________________________________ unix mailing list unix@lists.slimdevices.com http://lists.slimdevices.com/mailman/listinfo/unix