Arduino 101 incorrectly listed?

According to the Arduno website the Ardino 101 uses a 32 bit Intel processor. It’s listed on the Platformio registry as using a 8 bit AVR 32U4. Is this an error or am I missing something?

Ah I’ve just seen:

The correct environment to use the the 101 is:

platform = intel_arc32
framework = arduino
board = genuino101

This seems to work :thumbsup: