PC kernel The PC kernel is currently being updated to bring it up-to-date withPlan 9 support (the original Inferno PC kernel was derived from anextended subset of an earlier edition of Plan 9).  In particular,although it can be configured as a server, graphics support isstill being provided.  (The kernel level code in vga*.c, devvga.c and screen.cis probably near the final version, but some Limbo code is needed toset the right graphics modes.)