To customize resolution for thinkpad x200:

    %25 9fs 9fat


Then edit /n/9/plan9.ini. Replace the default value of:

    vgasize=1024x768x16


with:

    monitor=x200
    vgasize=1280x800x32