A current snapshot of SDL for OS4 will be available with the SDK that's out soon. The current version is already quite advanced, although some things are still missing (no video overlays, no OpenGL, since MiniGL's headers are incomatible with SDL's GL headers).
You can use the 68k headers to develop. After all, the API is fixed.
