here 4k@60Hz works fine with rpi4. nothing plan9 specific was needed. i copied the fat32 content from raspbian and adjusted the config.txt according to the docs to make it work. 9front release had some firmware (or dtd files, or something) that was either too old or missing
------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T83b43600a3d592d7-M5a32cd6a64e903fef11b4d70 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
