pc386 bsp - stdin broken?

[cornell at gdls.com (Glen M Cornell)]

I sent a message from home last night, but did not see my posting. 
 Sorry if you get it twice.

Is there some trick to getting stdin to work on the pc386 bsp?  I 
changed the hello_world test application to read from stdin:

{
char buf[80];
printf("what's your name?");
scanf("%s", buf);
printf("hello, %s\n",buf);
}

But this appears to lock up the board.  I also tried gets() with the 
same results.  What's wrong with me???

Oh, yes.  I'm using the latest snapshot and the latest c build tools.

thanks for any help,
glenco