If I remember right, you just need to run ICDBOOT.PRG and that should load the drive and assign it drive numbers. I'll check this evening if I can get some time and let you know for sure.
Atarian since 1980
STs: 1040STfm, Falcon 030 w/ 14MB, 10GB internal HD and BlowUp graphics adapter
8bits: 800XL w/ 32-in-1 OS and Supervideo 2.1 Upgrade, Happy 1050, APE (Registered), Commodore 1702 Monitor and PC storage unit
Wish list: MegaSTE, 130XE, 65XEGS