I am (as you will understand when you continue reading my question) new to Raspberry Pi. I bought it mostly because I wanted to use it as a media player. So my first move was to flash it with OpenElec and Kodi.
However, it sucked, since I couldn't get it to play movies or tv without constant freezes. So I decided to try re-flashing it with RetroPie (legacy video game emulator). While doing so, I realized that only about 500 Mb of the 32 Gb card had actually been allocated. So I spent a few hours figuring out how to format it to the full 32 Gb. I managed to do so eventually. And I re-flashed it and can now play all the old 8-bit Nintendo and archade games from my childhood. :-D
Now I'm thinking that the Pi probably uses the SD card for buffering, so this could be the reason why Kodi never worked for me before. So now I'm thinking that perhaps I could partition the card in two; one Kodi partition and one RetroPie partition. But how would that work? Would I get to choose on startup whether I want to run Kodi or RetroPie?