I guessed the pins wrong...

main.c

@@ -75,10 +75,10 @@ int main (void) {
 	setup();
 
 	// Array of what leds should be on
-	// Green LED is C8
+	// Green LED is C9
-	// Blue LED is C9
+	// Blue LED is C8
 	// NC is C10, which is what I want to see at night (since the blue one is too bright
-	uint16_t states[4] = {0, GPIO10, GPIO8, GPIO10 | GPIO8};
+	uint16_t states[4] = {0, GPIO9, GPIO10, GPIO9 | GPIO10};
 	char state = 0;
 	int i;