The badge:
API:
audio
badgelink
badgenet
captouch
ctx
leds
uos
sys_buttons
NOT_PRESSED
PRESSED_DOWN
PRESSED_LEFT
PRESSED_RIGHT
get_left()
get_right()
sys_display
sys_kernel