PLC options Raccoglie caratterizzazioni del PLC. Esiste per tutti i tipi di target. Raggruppa impostazioni relative al file GhostGeneral.ini.