A Kiosk based on Red Hat Device Edge and Microshift