Nope doesn't really matter sharp is sharp.
I use a 1" x 42" belt sander to re-profile or get the edge closer to sharp if dinged or chipped, but do not let it get to warm.you can do this with a file if it is what you have.  
Then i will go to a diamond, stone,  spyderco grey sharpmaker stix or i have some steel bars 8 or 10" long with sand paper stuck to them with spray adhiesive in various grits.
and if I want to make it shave I will strop with green compound on a piece of old leather belt glued to a board.
How sharp do you want,  carving or whittling, rather keen,  chopping wood with bark durable edge that is pretty sharp,  splitting I don't really need the sharpest tool in the shed for that.
Just my opinion,  It don't take fancy tools to get it sharp,  but takes a little practice.