olive oil • medium-sized onion, finely chopped • peeled and grated fresh gingerroot • large clove garlic, pressed or finely minced • fennel seeds • cumin seeds • red pepper flakes • dried red lentils, picked over and rinsed • defatted chicken or vegetable broth (preferably homemade) • Salt