#include "gbos.h" /* ls: list files in the filesystem. */ void main(void) { char name[16]; unsigned char i; for (i = 0; flist(i, name); i++) { name[15] = 0; puts(name); nl(); } }