What does `option DUMMY_NOPS' do?

[Morten Liebach <morten_(_at_)_hotpost_(_dot_)_dk>]

Hi!

 I've tried to find out what `option DUMMY_NOPS' actually is, besides
``speed hack; recommended''. Man options doesn't mention it, and a
recursive grep for DUMMY_NOPS doesn't help either, it returns hits in
the generated Makefile of the kernel, and in the example config files.

 I'd like to know what it is and what it does?

 Even more, as the newbie I am, I'd like to know how I can navigate the
source, and trace where the code of the different options are, as I've
found it very interesting to read comments in the code, and a great way
to learn.

 I'm at page ~20 in `The C programming language', so I don't know much
though. :-)

Thanks in advance

              Morten

-- 
UNIX, reach out and grep someone!