The following settings worked with my system during install and continued to work after rebooting as a terminal:
aux/vga -m vesa -l 1024x768x32 Upon compiling pccpuf and rebooting as a standalone auth/cpu server, vesa is no longer accepted: cpu% aux/vga -m vesa -l 1024x768x32 mkvbe: '/dev/realmode' './dev/realmode' file does not exist aux/vga: controller not in /lib/vgadb, not vesa 0xC0000 55 AA 52 EB 4B 37 34 30 30 E9 4C 19 77 CC 56 49 U.R.K7400.L.w.VI 0xC0010 44 45 4F 20 0D 00 00 00 A7 02 00 00 00 00 49 42 DEO ..........IB 0xC0020 4D 20 56 47 41 20 43 6F 6D 70 61 74 69 62 6C 65 M VGA Compatible 0xC0030 01 00 00 00 10 08 00 00 31 30 2F 32 33 2F 30 30 ........10/23/00 0xC0040 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................ 0xC0050 E9 41 08 00 69 15 2C 00 E9 CB 18 E9 D3 18 50 4D .A..i.,.......PM 0xC0060 49 44 58 00 5B 00 00 00 00 A0 00 B0 00 B8 00 C0 IDX.[........... 0xC0070 00 5B FF 7F 4E 56 00 05 01 D8 D6 E0 03 17 05 02 .[..NV.......... 0xC0080 00 00 00 00 46 01 42 02 60 01 5A 04 00 00 00 00 ....F.B.`.Z..... 0xC0090 B5 00 50 00 CE 10 71 28 DF 95 39 96 C3 98 78 98 ..P...q(..9...x. 0xC00A0 8C 98 D3 02 F6 02 03 99 00 01 01 00 3F 3E 37 36 ............?>76 0xC00B0 00 4A 96 4A 97 4E 56 49 44 49 41 20 56 41 4E 54 .J.J.NVIDIA VANT 0xC00C0 41 20 56 47 41 20 42 49 4F 53 0D 0A 00 00 00 00 A VGA BIOS...... 0xC00D0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................ 0xC00E0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................ 0xC00F0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................ aux/vga: vgactlw: <type vga>: bad VGA control message "type vga" Would placing +cur in the next column after vgavesa in the file /sys/src/9/pc/pccpuf (and recompiling) reenable the vesa driver for this kernel? For the time being, the following configuration is working as expected: aux/vga -m xga -l 1024x768x8 Finally, here is some more information about the system in question: cpu% cat /dev/kmesg Plan 9 E820: 00000000 0009f800 memory E820: 0009f800 000a0000 reserved E820: 000f0000 00100000 reserved E820: 00100000 1fff0000 memory E820: 1fff0000 1fff3000 acpi nvs E820: 1fff3000 20000000 acpi reclaim E820: fec00000 fec01000 reserved E820: fee00000 fee01000 reserved E820: ffff0000 100000000 reserved 126 holes free 00018000 0009f000 552960 00469000 0569c000 86192128 86745088 bytes free cpu0: 1466MHz AuthenticAMD AMD-Athlon (cpuid: AX 0x0662 DX 0x383FBFF) ELCR: 0C20 pcirouting: ignoring south bridge PCI.0.0.0 10DE/01E0 #l0: i82557: 100Mbps port 0xC000 irq 5: 009027e875a4 #l1: i82557: 10Mbps port 0xC400 irq 10: 009027e875a5 512M memory: 87M kernel data, 425M user, 1050M swap root is from (tcp, local)[local!#S/sdC0/fossil]: time... fossil(#S/sdC0/fossil)...version...time... cpu% aux/vga -p vga->attr: vid=0x10DE vga->attr: did=* vga misc EB vga feature 00 vga sequencer 03 21 0F 00 0A vga crt A3 7F 7F 87 86 9A 24 F5 - 00 60 00 00 00 00 00 00 03 29 FF 80 00 FF 25 A3 - FF vga graphics 00 00 00 00 00 50 05 0F - FF vga attribute 00 01 02 03 04 05 06 07 - 08 09 0A 0B 0C 0D 0E 0F 01 00 0F 00 00 vga virtual 0 0 vga panning off vga vmz 16777216 vga apz 0 vga linear 1 nvidia dclk m n p 74895095 13 - 136 1 nvidia CrystalFreq 14318180 Hz nvidia arch 4 nvidia did 002c nvidia repaint0 0 nvidia repaint1 ac nvidia screen 0 nvidia pixel 1 nvidia horiz 0 nvidia cursor0 0 nvidia cursor1 bd nvidia cursor2 0 nvidia interlace ff nvidia extra 0 nvidia crtcowner 0 nvidia timingH 0 nvidia timingV 0 nvidia vpll 1880d nvidia vpllB 0 nvidia vpll2 0 nvidia vpll2B 0 nvidia pllsel 10000700 nvidia general 100 nvidia scale 11000011 nvidia config 1114 nvidia head 0 nvidia head2 0 nvidia cursorconfig 0 nvidia dither 0 nvidia crtcsync 0 nvidia islcd 0 nvidia twoheads 0 nvidia twostagepll 0 nvidia crtcnumber 0 nvidia fpwidth 0 nvidia fpheight 0 -sl