Fri, 18 Sep 2015 16:57:49 EDT

currently, you can’t build an amd64 iso without modifying some of the code that builds the current 386 iso. it seems the iso building machinery is very 386 centric in general. it would be nice if the procedure for building an iso or disk for e.g. the amd64 port or the rpi port was similar to how 386 is built as documented at

to build an amd64 iso, i copied /sys/lib/dist/cfg into /sys/lib/dist/cfg/386 and put a modified copy into /sys/lib/dist/cfg/amd64 using bootfile=/amd64/9pc64. i also modified /sys/lib/dist/mkfile to use $objtype/cfg instead of the cfg directory. additionally had to modify /sys/lib/sysconfig/proto/cdproto to copy * for 386, since booting the amd64 iso depends on /386/9bootiso.


Nov 2, 2014 Project Member #3
cinap_le…@[REDACTED] i’m not convinced having amd64 iso is such a good idea. it just complicates the install process. the amd64 kernel has only a subset of the drivers the 386 kernel has so it is less likely to succeed booting. all amd64 systems are also 386 systems and it is really trivial to build and install amd64 binaries later after the installation. for raspberry pi, this is a different matter. tho for that platform, you probably do not want a iso file because it has no cdrom drive but a sd card image.

Nov 2, 2014 #4
mve…@[REDACTED] I agree with cinap. A possible solution would be to have options for amd64 install on the cd (and grab the bins from the net or build them there) or a script that sets it all up after the installation.