# device specific syscalls
clock_gettime: 1
# ffmpeg needs this
nanosleep: 1