I got my nephews a Raspberry Pi around that age. The first one got a Kano Kit, which had its own setup to make things more user friendly for kids with a bunch of learn to code stuff, to try and make it more interactive and fun. Kano has since shut down.

The next one I got a Pi 400, the one built into a keyboard. It came with a book with a bunch of stuff to teach kids to code and other such things.

I don’t know now much either got used. I know the oldest used his a decent amount. I think the Pi 400 started having issues, and without the book or someone to help, it just dumps the kid on a normal Linux desktop, so that was probably rough (I wasn’t close by to regularly help).

There is a 3rd kid, and I’m planning to ask his mom if it’s worth getting him something like that as well. They have my old iMac now, which they play Minecraft on. So anything smaller/slower may be a moot point.

A standard used laptop/desktop is probably a better option. That was what I originally planned, but pointless family drama killed that idea. The Pis were pretty slow. Fine if learning to code, but they of course wanted to mix in other stuff to make it fun.