How big is PicoGUI?
Almost all of PicoGUI’s code is in the “pgserver” binary. Remember that the single pgserver binary includes fonts, and has a similar scope of capabilities to an X server plus a widget toolkit and a few other libraries. The size really depends on the compile time options selected (there are a great many), the CPU targeted, and the binary format.