Sorry, I have another question here. I have browsed the wiki, the mailing list and I have googled it a lot but I&#39;m still not sure.<br><br>9front&#39;s wiki says that in order to make a Live USB you need to copy a compiled Plan 9 kernel in a  &#39;/386&#39; folder. From what I have seen there&#39;s two available 386 kernels in 9front: 9pcf and 9pccpuf. If I&#39;m correct, 9pcf is the standard kernel and 9pccpuf is for configuring a standalone CPU server, right?<br>