Para você obter a SDL, basta fazer o download dos fontes dela em http://www.libsdl.org ou em http://www.desenvjogos.net. Estarei disponibilizando as versões compiladas dessa biblioteca em http://www.desenvjogos.net, mas recomendo que vocês baixem os fontes e dêem uma estudada nos mesmo. No site da SDL também existe uma vasta documentação sobre a mesma e algumas listas de discussão para desenvolvedores de jogos esclarecerem dúvidas sobre a mesma.