Add K Lambda specs for lambda