After some time struggling with the OMAPL138 I've finally been able to set up the LCDK with Linux running as desired.
My goal is to use PWM with the LCDK. I followed the instructions given at http://processors.wiki.ti.com/index.php/GSG:_Building_Software_Components_for_OMAP-L1#Rebuilding_U-Boot and compiled the kernel.
Then i tried to follow http://processors.wiki.ti.com/index.php/OMAP-L1_Linux_Drivers_Usage#eHRPWM however my directory /class/pwm/ doesn't have anything inside, it's empty.
I'm using the last linux-davinci kernel from http://arago-project.org/git/projects/?p=linux-davinci.git;a=summary. I'm quite new to embedded systems so i fear i'm missing something.
Víctor.