Ich möchte nochmals darauf hinweisen das die Annahme daß sel4 bei SFC automatisch auch sel4 beim Scorpio heißt, eine unbewiesene These ist. Muss ja kein Naturgesetz sein das eine gute Einstellung auf Programm A auf anderer Hardware und einer Portierung der Software auch dort gültig sein muss.