100644 blob c1a6c6a0a77266d72924efdf1cf4777c79b63fb4	platform_drivers.h
040000 tree 103ab39e91aff75e71b4085ab5fd825315fc5e11	stubs
100644 blob 683a2079211c39f1f8e843b59b5d7c6e0a071a43	timer_simple_platform.h