Differences between stal/IX and regular Linux