Listing 6. The platform function yields the type of operating system.

清单6 . platform函数生成操作系统类型。

youdao

All of the above can be conditional upon the operating system type and revision, time of day, arbitrary user-defined classes, presence or absence of files, directories, or data in files, and so on.

上述所有这些根据操作系统类型和修订版本、一天中的时间、任意用户定义的类、文件中文件、目录或数据的有无等等可以是有条件的。

youdao

Finally, a simpler form of virtualization is operating system virtualization, in which a single computer runs numerous operating systems of the same type.

最后，更加简单的一种虚拟化是操作系统虚拟化，其中一台计算机可以运行相同类型的多个操作系统。

youdao

Segmentation enables marketers to capture behaviors and attributes about their Web and mobile visitors in order to create content tailored to their location, their time of day, type of browser or operating system, or even their brand of mobile device.

FORBES: 3 Ways Mobile Insights Are Informing Online and Offline Marketing

The coloured back of the phone is interchangeable - and the operating system's interface will change depending on what type of cover you have.

BBC: Ex-Nokia team makes rival smartphone Jolla

The software interface for Glass is a type of web app called the Mirror API, and not a full-blown operating system like Android.

FORBES: Clear Glass: Google's New 'Window To The Internet' Starts With No Ads And Free Services