The badge:
API:
audio
badgelink
badgenet
captouch
ctx
leds
uos
sys_buttons
sys_display
get_ctx()
pipe_flush()
pipe_full()
set_backlight()
update()
sys_kernel