CD-i Philips and SDL

Hi, is there a library for the CD-i Philips?