Hello!If I run the openAMP example I can see the two new devices appear in the linux /dev folder: ttyRPMSG0 and ttyRPMSG1, so that's fine!I would like to give these entries another name, like instead ofttyRPMSG0 --> KEYSttyRPMSG1 --> FRAMQuestion 1: ...