How to start a device server¶