mark device drivers (even though it doesn't do anything now);