#include "cedos.h" #include "stdio.h" #include void main(char *args) { char buffer[256]; int index = 0; while (1) { int next = dir_next(0x1000, index, buffer); if (next == -1) { return; } printf("%s\n", buffer); index = next; } }