The kernels from the pcduino site for pcduino lite wifi works just fine.
But, due to my needs to enable cpufreq, I tried to:
- extract the original .config file by first running the officlal linux kernel for pcduino lite wifi, then unzipping /proc/config.gz.
- cross-compile on x86-32 ubuntu following http://www.pcduino.c...el-for-pcduino/.
I tried this several times with and without my custom config, but it just freezes during loading kernel.
I did not manage to create any kernel that works, I get the feeling I am missing something, although I am (should) using the same .config as the official downloadable kernel.
Perhaps it has to do with the limited 256MB memory?
Has anybody hints?