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