TI display driver HAL in Linaro 12.07

Hi,

I have the Android ICS source code from Linaro 12.07 release. I am interested in seeing the Display driver's HAL for the OMAP4430 (Pandaboard) Is the code under hardware/ti/omap4xxx/hwc/ correct place to look for the display system's HAL code for omap44xx boards? Does the TI omap44xx HAL hardware composer uses DRI/DRM interface to drive the Display? Does it uses the omapdrm driver in the linux kernel (drivers/staging/omapdrm/)? Please provide some clearity on this.

Regards, S.Sharavana