On Thu, Feb 7, 2019 at 10:05 AM Paolo Bonzini <pbonz...@redhat.com> wrote: > diff --git a/hw/xtensa/Kconfig b/hw/xtensa/Kconfig > new file mode 100644 > index 0000000..97543a9 > --- /dev/null > +++ b/hw/xtensa/Kconfig > @@ -0,0 +1,5 @@ > +config XTENSA_SIM > + bool > + > +config XTENSA_FPGA
Can it please be called XTENSA_XTFPGA, as the corresponding source file and as it's called in other places (e.g. in linux)? -- Thanks. -- Max
