MakeCode is pretty amazing. Options for it are the micro:bit, an 8-bit arcade system, or Minecraft. Switches between block-programming and Python or Javascript, so you have an easy path to text programming.

For 'real' programming, once they have their python chops, have a look at https://anvil.works