I am building a kiosk application that is to run on a raspberry pi 4. The linux system was built using buildroot. The display server is WESTON, which is an implementation of