Instalalos vos (podes buscar guias en vogons), aunque creo que simplemente con copiar los archivos de esta instalacion a la otra y activandolo en el archivo de configuracion deberia funcionar.
Aparentemente DOSBox no corre maravillosamente en la Pi (tampoco el otro emu x86 disponible), aunque hay una versión llamada FastDOSBox que está optimizada para ello. Pero como no tengo idea de como compilarla y por ahora no quiero pagarla en el Pi Store, voy a esperar que alguien lo haga antes y me lo cuente.
Buenísimo que hayas metido mano en el tema y que te guste. Yo tampoco quise hacer el titurial para instalar y aplicar los parches, así que lo saqué de la ecuación y empaqueté todo hecho. No deberías tener dramas, Hacha. Yo me paso los archivos de configuración a Linux sin dramas. Necesitás el ejecutable.
M4CGYV3R actualizó DOSBox + Gravis Ultrasound (GUS) con una nueva entrada: dosbox-074-gus.7z Más info...