users can put their platform resources in platform_lib