AnsweredAssumed Answered

Problem with generating 32bit kernel image for T4240rdb board

Question asked by Vignesh R on Sep 25, 2015
Latest reply on Sep 28, 2015 by Yiping Wang

Hi All,


I need to build kernel images for t4240rdb board of 32bit size. I have two builds and both compiles for 64 bit kernel only.


I tried to change the kernel defconfig file in t4240rdb.conf, but I was not able to compile successfully..


I'm using SDK-1.8, Is it possible to compile t4240rdb for 32bit kernel, if so tell me the steps to be followed and the necessary changes to be made.