In the Configuration tab, you can see the options that you can configure for the selected development kit.