Add some comments in platform.c