Links for agent-os-kernel