Soak 1/2 cup red lentils for half an hour(You can skip soaking since red lentils do cook quite quickly). Drain the water

Cook in about 1 cup of water covered pan for 15 minutes on low-medium or 1 pressure cooker whistle.

The lentils should be tender but not entirely mashed, Add 2 cloves of garlic to the hot lentils and let sit to cool a bit. (the garlic will loose some of the raw smell this way if you dont like the raw garlic)