[TUHS] PCS kernel sources