CONFIG_ALPHA_MARVEL is not available for thedefaultarchitecture x86.
Result is shown for architecture alpha
Marvel
modulename: core_marvel.ko
and/orsys_marvel.ko
and/orerr_ev7.ko
configname: CONFIG_ALPHA_MARVEL
Alpha system type
└─>Marvel
In linux kernel since version 2.6.12
AlphaServer ES47 / ES80 / GS1280 based on EV7.