On Jan 21, 2015, at 3:39 PM, Chester A Patterson <vchester at setec-cr.com> wrote: > > Where do I find this cocosdc.dsk file? when I do make dsk PORTS=coco3_6309 It ends up here: nitros9/level2/coco3_6309/nos96309l2v030300coco3_cocosdc.dsk