Devices OFFLINE at IPL

[Billy Bingham]

Would the following be the proper way to specify devices, in the SYSTEM CONFIG 
file, that I 
don't want to come online at an IPL:


Devices ,                   
  Online_at_IPL   0000-FFFF,
  Sensed             0000-FFFF,
  Offline_at_IPL  0500-050F 



Thanks,

Billy