MINOR=0.1
AR=ar
-DRIVERS=xseg_posix xseg_segdev
+DRIVERS=xseg_posix xseg_segdev xseg_pthread
DRVDIR=$(BASE)/drivers/user
DRVOBJS=$(addsuffix .o, $(addprefix $(DRVDIR)/, $(DRIVERS)))
SHELL=/bin/bash
make -C xhash all
make -C xheap all
make -C xobj all
- make -C python all
COMMA=,
_initialize.c: drivers