Progress on drivers; switched to <stdint.h> integer types instead of
custom