34a35
> #include <unistd.h>
51a53
> " m5 readfile\n"
186a189,204
> if (COMPARE("readfile")) {
> char buf[256*1024];
> int offset = 0;
> int len;
>
> if (argc != 2)
> usage();
>
> while ((len = m5_readfile(buf, sizeof(buf), offset)) > 0) {
> write(STDOUT_FILENO, buf, len);
> offset += len;
> }
>
> return 0;
> }
>