leOS - un semplice OS per schedulare piccoli task

Spero di non andare OT ma volevo sapere solo una cosa, nell esempio di test Dell leOS il
Blink dei led è gestito tramite un istruzione del genere:
Led1status = ^1;
Ma come funziona? Non ho trovato nessuna documentazione riguardo il ^ qualcuno potrebbe linkarmi o spiegarmi qualcosa?

Grazie!