src/osf1.server/server/kern
