Hi!
Well, given that 4tH doesn't run on any known micro controller, I think it's quite "reasonable" ;-)
But all fun aside, AFAIK "buildroot" supports 4tH -- but it's quite old, and it doesn't support the ESP32-P4 IIRC. Since -- even on a 64-bit processor -- a 4tH executable doesn't even come close to 32 MB, the size issue should be fine. Even more -- 4tH adapts itself automatically to the source it has to compile or run. It even runs fine on MS-DOS. So I don't think all that is an issue.
The worst thing is you have to port it to 4DGL -- which IMHO isn't trivial. A better option is ESP-IDF, I think.
Still, it's not a trivial undertaking. However, if you want to give it a try, I'd welcome that wholeheartedly. But note I don't have a lot of knowledge of this platform.
Hans Bezemer