"Bundle comes with a 8GB SanDisk Class 10 Ultra microSD card with Windows 10 IoT Core"
"...Many IoT platforms like Google’s Brillo and ARM’s mbed are also emerging for users to develop connected devices that rely on cloud services. Upton said support for more IoT platforms will come to Raspberry Pi 3."
Amazon.com: Official Raspberry Pi Foundation Case For Model B+ & Raspberry Pi 2 Model B: Computers & Accessories
mbed - Wikipedia, the free encyclopedia
"mbed is a platform and operating system for internet-connected devices based on 32-bit ARM Cortex-M microcontrollers. Such devices are also known as Internet of Things devices. The project is collaboratively developed by ARM and its technology partners.
The mbed hardware development kit (HDK) is designed for OEMs, and provides information to build custom hardware to support the mbed SDK. This consists of interface firmware and schematics that can be used to easily create development boards, OEM modules and re-programmable products suitable for production."
So even Linux is sometimes too big for IoT devices