set cpu 11/45
att rk0 disk.rk
boot rk
# type k
# type unix