Exactly that. A device registers with the server and then there's a REST API or CLI binary that you can use to send it push notification messages.
Exactly that. A device registers with the server and then there's a REST API or CLI binary that you can use to send it push notification messages.