Encode a series of Images into a Video

How can I create a video file from a series of images/photos on Android? Can this be done with the current SDK? or do I need a codec library?