atropus kernel sources