Doesn't work on Raspberry Pi4 when using DRM backend #9
Description
I tried to run this embedder on Raspberry Pi4 (Ubuntu 20), but drmModeGetResources returns NULL. According to this article, the correct device file name is /dev/dri/card1 instead of /dev/dri/card0. So, we need to add a mechanism to change the device file name properly.