sources: arg.mod assert.mod DBstrio.mod NEWcalls.mod NKSRnuc.s NKcalls.mod \
  NKdebugger.mod rw.mod strio.mod events.mod NKSRdef.mod Nlib.mod \
  c32Arith.mod npi.mod structIO.mod udm.h udm_comm.mod udm_debug.mod \
  udm_lib.mod
	@echo "The KSOS-11 trusted library is up to date."

arg.mod: RCS/arg.mod,v
	co -q $@

assert.mod: RCS/assert.mod,v
	co -q $@

DBstrio.mod: RCS/DBstrio.mod,v
	co -q $@

NEWcalls.mod: RCS/NEWcalls.mod,v
	co -q $@

NKSRdef.mod: RCS/NKSRdef.mod,v
	co -q $@

NKSRnuc.s: RCS/NKSRnuc.s,v
	co -q $@

NKcalls.mod: RCS/NKcalls.mod,v
	co -q $@

NKdebugger.mod: RCS/NKdebugger.mod,v
	co -q $@

rw.mod: RCS/rw.mod,v
	co -q $@

strio.mod: RCS/strio.mod,v
	co -q $@

events.mod: RCS/events.mod,v
	co -q $@

Nlib.mod: RCS/Nlib.mod,v
	co -q $@

c32Arith.mod: RCS/c32Arith.mod,v
	co -q $@

npi.mod: RCS/npi.mod,v
	co -q $@

structIO.mod: RCS/structIO.mod,v
	co -q $@

udm.h: RCS/udm.h,v
	co -q $@

udm_comm.mod: RCS/udm_comm.mod,v
	co -q $@

udm_debug.mod: RCS/udm_debug.mod,v
	co -q $@

udm_lib.mod: RCS/udm_lib.mod,v
	co -q $@
