TODO: describe possible platform configurations, what each does, where to change which variables in config.mk