DETOK(1)

💅 DETOK — the OpenBIOS detokenizer, section 1 of the general commands manual ✨

okay bestie, pull up a chair, grab a strawberry 🍓, because today we're talking about detok. yes. the little icon that could. it lives in section 1 of the manual (general commands, the classic), and honestly? it's giving reverse-engineering queen 👑

🎀 NAME 🎀

detok — the OpenBIOS detokenizer. that's it. that's the name. short, sweet, slays.

🦋 SYNOPSIS 🦋

detok [options] forth-file

yes, forth-file. lowercase, hyphenated, exactly like that. don't come for me, that's the spec ✨

🌸 DESCRIPTION 🌸

so. detok is an open-source FCode detokenizer for the OpenBIOS project, and it does the reverse function — like, the reverse reverse. it takes binary FCode and turns it into a form that can be read, for purposes of verification. it's the uno reverse card of the FCode world 🃏✨

you feed it the binary, it hands you something human-eyeball-able. that's the whole vibe. lowkey iconic.

💖 OPTIONS 💖

here's the whole menu, no skips, no skimming, every single one. periodt.

• -h, -? — print a brief help message and then exit. cute, quick, no notes 💅
• -v, --verbose — print additional messages: the hex value of each token processed, as well as a signature block. basically it starts yapping and honestly we love that for it 🗣️✨
• -o — display the positions of the tokens relative to the start of the first FCode block after a PCI header (if one is present), and the destination-offset of each branch.

and listen, the combination of the Verbose and Offsets options yields the maximum amount of useful information. that's the golden combo. the main character pairing 👑👑

• -n — display the sequential number of each line of output.

⚠️ heads up bestie: the -n and -o options are mutually exclusive. if both are specified, -o will be favoured. so -n gets sidelined. sorry to that option 😭

• -a — do not stop when end0 has been encountered. this option is usually not needed, but may be useful in cases where a file has been corrupted or when something very strange has been tokenized... 👀💀 (yes, "very strange". we're all thinking it.)
• -f FCode-List-File — pre-load additional FCodes before processing. these might be, for instance, a set of vendor-specific FCodes that were generated for a specific vendor's products by a tokenizer customized for that specific vendor. very niche, very specialized, very slay for that one vendor 🎀

🌈 SEE ALSO 🌈

• toke(1). the other half of the duo. the sibling. the counterpart. go say hi 🫶

👑 AUTHORS 👑

• David L. Paktor <dlpaktor@us.ibm.com>
• This manual page was written by Aurelien Jarno <aurel32@debian.org> for the Debian GNU/Linux system (but may be used by others). (yes, may be used by others — generous king energy 💜)

okay and finally, the little sign-off at the bottom of the page: this whole thing is dated May 15, 2007, and it's DETOK(1) — same title, same section, forever and always. no cap. bye bestie, go detokenize something 🦋✨💖