metal-cos/bin/shell/shell.c

#include <stdio.h>

int
main(int argc, const char *argv[])
{
    char buf[256];

    fputs("Shell\n", stdout);
    while (1) {
	fputs("> ", stdout);
	fgets(buf, sizeof(buf), stdin);
    }
}