#include #include #include "config.h" int main(int argc, char *argv[]) { // printf("argc = %u, argv[0] = %s\n", argc, argv[0]); con_init_opt(-1, -1, -1, -1, KOSH_NAME " " KOSH_VERSION); // read execute repeat }