Well, I assume they're usiing straight-forward, direct-to-memory framebuffer manipulation. No X protocol to get in the way, no unavailable GPU drivers. Simple alpha transparency shouldn't be hard to do. When did Porter and Duff write their paper, '83?