Found their Github. Looks like it’s a custom Linux kernel…? I dunno, it’s really hard to tell directly; I’m inferring from context clues (like tagging Raspberry Pi, mentioning the open Nvidia kernel modules, etc.).

github.com/getumbrel/umbrel