To customize resolution for thinkpad x200:
% 9fs 9fat
Then edit /n/9/plan9.ini. Replace the default value of:
vgasize=1024x768x16
with:
monitor=x200 vgasize=1280x800x32
