I see a lot of posts about writing to the SD card, but I believe my problem is different. I am unable to create the SD card during the process of building an AVD.
I
On debian testing, when i tried to run ./tools/mksdcards, i received the error:
error while loading shared libraries: libstdc++.so.6: cannot open shared object file: No such file or directory
Installing lib32stdc++6 resolves the problem, and was possible to create the avd.