but also many other types of information-related devices and systems (such as home servers, digital TVs, high-performance embedded servers, control devices in cars, production control devices, ...