Marius Gripsgard, le mer. 19 nov. 2025 15:44:22 +0000, a ecrit: > > On 16 Nov 2025, at 19:13, Samuel Thibault <[email protected]> wrote: > > Brent W. Baccala, le dim. 16 nov. 2025 12:56:30 -0500, a ecrit: > >> Dear Samuel, > >> > >> On Fri, Nov 14, 2025 at 7:05 PM Samuel Thibault <[1][email protected]> > >> wrote: > >> > >> Brent W. Baccala, le ven. 14 nov. 2025 13:23:07 -0500, a ecrit: > >>> How do you enable SMP support? I've tried starting kvm with `-smp 4` but > >> I > >>> don't see more than one core in /proc/cpuinfo. > >> > >> You need to use the -smp kernel. > >> > >> > >> So, looking over the package lists for "gnumach", it appears that there are > >> amd64 images and smp images, but no amd64 smp image. > >> > >> Does this mean we have 64-bit support and SMP support, but can't do both > >> at the > >> same time? > > > > I don't think anybody has given any stab at 64b+SMP so far. > I’m interested in this, how different would a SMP impl for 64 bit be compared > to 32 bit?
The bootup procedure for the non-boot processors is probably different from 32bit. Samuel

