Update documentation
moved default HardwareScheduler into drivers/generic/hardwarescheduler.h (#56)