Another thing that really really should be changed in Mirko's SDK is the button constant names.
The current BA, BB, BL, BRIGHT, etc is just not good naming, plus I'm trying to move my emulator over to Mirko SDK, and BL was conflicting with my cpu core :P
I recommend KEY_A, KEY_B, KEY_RIGHT...