Downloadable operating system programs; Downloadable software development kits (SDK); Downloadable cloud-computing software for providing cloud infrastructure services for embedded devices