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.