FreePascal comes with her own SDL unit files, there is no need to download jedi - sdl ones. I use them for Win32, Linux, GP2X, GP2XWin and since last week for ARM Linux board IGEPv2.

Regards
Thomas