> > This patch set enables the Intel flexible return and event delivery
> > (FRED) architecture for x86-64.
> >
> 
> 
> Which tree is this based on now?
>

It was based on the tip master on the day I sent the v12 patch set, i.e.,
Monday night in the US west coast.

> I tried running 'b4 diff' but it complains it can't
> find some context around arch/x86/kernel/cpu/common.c .
>

What does it complain?

> I have the tip tree updated.

I just did a rebase on the latest tip master, and did find a build bug
caused by:

[PATCH v12 33/37] x86/entry: Add fred_entry_from_kvm() for VMX to handle IRQ/NMI

as <asm/export.h> is deprecated by <linux/export.h> yesterday.

After I replaced it, it compiles and boots.  What should I do now?

Thanks!
    Xin