Re: problem buiilding kernel

>   >>> 	What have I messed up?
>   >> Try to add
>   >>
>   >> device         xentimer                # Xen x86 PV timer device
>   >>
>   >> to your kernel config.
>   >>
>   >> For details: commit ae5981274815804e31f891f908627aa21696820e
>   > and 82bf6a2566ba51f2516c16aa7cca6398972c3123.
>   >
>   > Maybe you should check for more changes in GENERIC:
>   >
>   > % git diff d6327ae8c1 sys/amd64/conf/GENERIC
>   
>   
>   Is it worth mentioning this in the /usr/src/UPDATING file!

	My question:
	GENERIC says this is one of three items that /must/ be added
together.
	If that's the case ... why are there three items instead of one
item that automatically bundles the other two?
	(OK, so maybe this is preparing for a time when they won't have
to go together - but's then, and this is _now_.  I already had the
other two in the config file; my understanding of POLA suggests that
should be enough to pull in the third.)


			Respectfully,


				Robert Huff