Fonction reset

Bonjour, alors voila j'ai fais un code en python pour une raspberry et avec la fonction de gpio voici mon code

#!/usr/bin/env python
# -*- coding: utf-8 -*-
 
# Une LED branchée à la pin 25 clignote
 
import RPi.GPIO as GPIO  # bibliothèque pour utiliser les GPIO
import time              # bibliothèque pour gestion du temps
 
# a adapter a ta configuration
ledverte = 25
ledrouge = 26
btvert = 27
btrouge = 28


GPIO.setmode(GPIO.BCM)   # mode de numérotation des pins
GPIO.setup(ledverte,GPIO.OUT)
GPIO.setup(ledrouge,GPIO.OUT)  
GPIO.setup(btvert,GPIO.IN)  
GPIO.setup(btrouge,GPIO.IN) 

 while True:     # boucle répétée jusqu'à l'interruption du programme
     if GPIO.input(btvert) == GPIO.HIGH:
        GPIO.output(ledverte,GPIO.HIGH)
        GPIO.output(ledrouge,GPIO.LOW)
     elif GPIO.input(btrouge) == GPIO.HIGH:
          GPIO.output(ledverte,GPIO.LOW)
          GPIO.output(ledrouge,GPIO.HIGH)
     time.sleep(0.1) # petite pause pour eviter surcharge processeur  

ce que je voudrais c'est entrées une fonction redémarrer mais je ne sas pas comment faire pouvez vous m'aidé ??
merci d'avance :)