.NOBIN

;KS10 MICROCODE PARAMETER FILE



;PARAMETER FILE DEFINITIONS FOR T10KI

;TOPS-10 KI PAGING MICROCODE (V7.02)



.SET/UBABLT=1	;SUPPORT UBABLT INSTRUCTIONS

.SET/KLPAGE=0	;REMOVE KL PAGING (REQUIRED FOR UBABLT)



.BIN