baddev.hh File Reference

This devices just panics when touched. More...

#include "dev/io_device.hh"
#include "params/BadDevice.hh"

Go to the source code of this file.

Classes
class	BadDevice
	BadDevice This device just panics when accessed. More...

Detailed Description

This devices just panics when touched.

For example if you have a kernel that touches the frame buffer which isn't allowed.

Definition in file baddev.hh.