Hi Evan,
Are you using custom board or OMAPL138 LCDK board ?
Currently we don't have SDK release for OMAPL138 but you can get kernel 3.11 from kernel.org, it would work.
If boot or any issues, you can post here.
http://e2e.ti.com/support/dsp/omap_applications_processors/f/42/t/373642.aspx