http://opensource.samsung.com/reception/receptionSub.do?method=search&searchValue=I9300

Found this stuff included.

/system/lib/hw/camera.smdk4x12.so
/system/lib/hw/gralloc.smdk4x12.so
/system/lib/hw/hwcomposer.smdk4x12.so
/system/lib/libTVOut.so
/system/lib/libfimc.so
/system/lib/libhdmi.so
/system/lib/libhdmiclient.so