#! /bin/sh
PATH=/bin:/usr/bin
DIR={Xinu-directory}
OUTFILE=$1
shift
$DIR/bin/nm11 -n serve11 | egrep ' T | D | B ' > $OUTFILE &
