В библиотеке C для этого есть функция fprintf():
FILE *f=fopen("filename", "mode");
if (f==NULL) return -1;
fprintf(f, "format...", arguments...);
fclose(f);
RTFM как связать её с "операционной системой" и железом (обычно нужны функции write() или putchar()).