How would you structure low-level drivers to interface with custom avionics hardware at Benchmark Space Systems?