native_sockets.aadl 1.54 KB