HP ExpressCard Hardware Setup Manual page 20

TV tuner setup
After the IR emitter is connected to the set-top box, you can
use the HP MediaBuddy Remote Control to change the
channels.
3. Complete the setup of your TV tuner. Refer to
Complete the
✎
For additional connection steps, such as adding a television, refer
to Chapter 4,
3–10
setup," later in this chapter.
"Advanced connections."
"Step 4:
Hardware Setup