Was looking for the framebuffer file: if everything is a file then the framebuffer must be a file (as Plan 9 [1] intended), changing the pixel (123, 324) to som

Was looking for the framebuffer file: if everything is a file then the framebuffer must be a file (as Plan 9 [1] intended), changing the pixel (123, 324) to some color should be a simple file update, found this funny line [2]: gscreendata.data = (ulong *)(va+0x800000); /* Framebuffer Magic */ [1] https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs https://en.wikipedia.org/wiki/Plan_9_from_Bell_Labs [2] https://github.com/inferno-os/inferno-os/blob/48f27553574bf59de5f101ae072f82f5f1993d6f/os/js/screen.c#L226 https://github.com/inferno-os/inferno-os/blob/48f27553574bf5...