Linux kernel: 3.8.13
GCC: 4.6.3
CPU: NXP QorIQ P4081 revision 3.1 (powerpc e500mc core)