I have used SDL on my K3. I even built it to use a default library path of /mnt/us/SDL, so I did not need to set a library search path. I did have to add an eink update call to the SDL page flipping code, and I also removed sound support (because of my never having succeeded in getting ALSA support working -- why I am interested in your stuff.

).
We are lacking in simple sound support for native mode apps around here. I like SIMPLE monolithic (single .c file) demo programs so that absolute beginners can compile them with tcc, with a minimum of fuss and bother.
Thanks a lot for being the local "sound guy". I am trying to be the "animation guy". Together we can make a complete team (except for other game-design stuff, like artists, map makers, 3D modellers, script writers, and all that other stuff that indy gamers do themselves). We need you.
P.S. I consider SDL to be a bit heavy for a kindle (for the simple demos at least). But it is great for cross-platform stuff.