Raspberry Pi port, piCore-15.0 is available!
tc@box:~$sudo pppd eth0 | tee errors.txttc@box:~$ ifconfig > ifconfig.txttc@box:~$ lsmod > lsmod.txttc@box:~$ dmesg | grep eth0 > dmesg.txt