Use favion for chaOS