> which of those devices should the kernel use for output? Whatever facility it uses for showing kernel panics, perhaps. Though one could also use IPC facilit

> which of those devices should the kernel use for output? Whatever facility it uses for showing kernel panics, perhaps. Though one could also use IPC facilities such as dbus to issue a prompt in the session of whatever user is currently managing that media device.