"Today is 'pi' day" (3.14), with related sales in Microsoft store
Buy Raspberry Pi 2 Model B - Microsoft Store
"Bundle comes with a 8GB SanDisk Class 10 Ultra microSD card with Windows 10 IoT Core"
Supercharged Raspberry Pi 3 adds Wi-Fi, Bluetooth, and more speed, but still costs $35 | PCWorld
"...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."
ARM® mbed™ OS is an open source embedded operating system designed specifically for the "things" in the Internet of Things (IoT). It includes all the features you need to develop a connected product based on an ARM Cortex-M microcontroller, and is perfect for applications including smart cities, smart homes and wearables.
So even Linux is sometimes too big for IoT devices
