Setting up the toolchain that's not Arduino IDE is a prohibitively high bar for a school child that wants to blink leds.
If your target audience is school kids, you really can't go past the micro:bit and Makecode[3].
2. https://projects.raspberrypi.org/en/projects/getting-started...