What device types can be used to run Mentor?