/* pcxconf - PC-Xinu configuration (device configuration specifications) */

tty:	on BIOS
		-i ttyinit -o ttyopen -c ioerr
		-r ttyread -w ttywrite -s ioerr
		-g ttygetc -p ttyputc -n ttycntl
		-iint ttyiin

	on WINDOW
		-i lwinit -o ionull -c lwclose
		-r lwread -w lwwrite -s ioerr
		-g lwgetc -p lwputc -n lwcntl 

dsk:	on BIOS
		-i dsinit -o dsopen -c ioerr
		-r dsread -w dswrite -s dsseek
		-g ioerr -p ioerr -n dscntl

df:	on DSK
		-i lfinit -o ioerr -c lfclose
		-r lfread -w lfwrite -s lfseek
		-g lfgetc -p lfputc -n ioerr

dos:	on MSDOS
		-i ionull -o msopen -c ioerr
		-r ioerr -w ioerr -s ioerr
		-g ioerr -p ioerr -n mscntl

mf:	on DOS
		-i mfinit -o ioerr -c mfclose
		-r mfread -w mfwrite -s mfseek
		-g mfgetc -p mfputc -n ioerr

%

#include <bios.h>

/* console + windows */

CONSOLE	is tty	on BIOS		name="tty" ivec="KBDVEC|BIOSFLG"
GENERIC	is tty	on WINDOW
GENERIC	is tty	on WINDOW
GENERIC	is tty	on WINDOW
GENERIC	is tty	on WINDOW

/* disk device + logical files */

DS0	is dsk	name="ds0"
GENERIC	is df
GENERIC	is df
GENERIC	is df
GENERIC	is df
GENERIC	is df

/* MS-DOS file interface + logical files */

DOS	is dos	name="dos"
GENERIC	is mf
GENERIC	is mf
GENERIC	is mf
GENERIC	is mf

%

/* Configuration and size constants */

#define MEMMARK				/* enable memory marking	*/
#define	NPROC	30			/* number of user processes	*/
#define	NSEM    100			/* total number of semaphores	*/

#define	VERSION	"6pc (1-Dec-87)"	/* label printed at startup	*/
