serial-raw.aadl 1.9 KB