set console wru=034
set cpu its
set cpu 1024k
set cpu idle
set cpu mpx
set pd enabled
set pd on
set dpy enabled
set dk disabled
set stk enabled
set tk enabled
at tk 10000
set mty enabled
at mty 10003
set ten11 enabled
at ten11 10011
set auxcpu enabled
at auxcpu 10006
at ptr bin/ka10/boot/dskdmp.rim
at dpa0 out/sims/rp03.2
at dpa1 out/sims/rp03.3
at dpa2 out/sims/rp03.0
at dpa3 out/sims/rp03.1
set mta mpx=7
set mta type=b
set dt mpx=6
set dpa noheaders
b ptr