Re: SMP support

"Brent W. Baccala" <[email protected]> Sun, 16 Nov 2025 12:56:30 -0500

Newsgroups	gmane.linux.debian.ports.hurd
Message-ID	<CADyN2Vy-8=c6P_5JMvbLvAa_VV+NVc2XMfCZL7vsb2YPY150yg@mail.gmail.com>

Dear Samuel,

On Fri, Nov 14, 2025 at 7:05 PM Samuel Thibault <[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?

    agape
    brent