Yeah - while I've never dived too deeply, I have modded my 3DS a fair bit and didn't know what the OS was codenamed. I've always just seen it called 3DS OS, native firm, etc.