#include <stdio.h>
#include <stdlib.h>
#include <console.h>

int main(int argc, char *argv[])
{
    FILE *f;
    int ch;
    int i;

    openconsole(&dev_stdcon_r, &dev_stdcon_w);

    printf("argv = %p\n", argv);
    for (i = 0; i <= argc; i++)
	printf("argv[%d] = %p = \"%s\"\n", i, argv[i], argv[i]);

    if (argc < 2) {
	fprintf(stderr, "Missing file name!\n");
	exit(1);
    }

    printf("File = %s\n", argv[1]);

    f = fopen(argv[1], "r");
    while ((ch = getc(f)) != EOF)
	putchar(ch);

    fclose(f);

    return 0;
}