mastodon.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
The original server operated by the Mastodon gGmbH non-profit

Administered by:

Server stats:

373K
active users

minute

8x 100MHz vexriscv cores on MNT RKX7

16 cores also routed&placed fine but linux complains because there's a 8 HARTs limit somewhere?!

@esmil these were the errors btw

@mntmn Yeah, I'd expect Linux to stop complaining like that with CONFIG_NR_CPUS set to >= 16, but I'm not sure why OpenSBI only detects 8 harts.