; This script loads ETOS V5B from the RK05 cartridge disk drive.
;
echo Loading ETOS from the RK05 cartridge disk drive...
@include boot/common.script

set tsc enabled
attach ttix 4000

@define SHORTNAME 6
@include @ABSSRCDIR@/boot/savestate.script

att rk0 @MEDIADIR@/etos/etosv5b-demo.rk05
boot -d rk0

:end
