iirc it needs to have a certain title ID and it needs to install to NAND. I can't remember what the TID is but not every copy of devmenu will work.
00040000-0ff40002
As available in the 4th (?) page of the dedicated topic of the downloads site, or on my google drive...