UTF8, documentation for hal/console.h