Comment by xorvoid

Yup. See “rt/lib.c” A bunch of inline machine code. The assembly mnemonics are in the comments.