Hi Juergen,
On 01/11/2023 09:33, Juergen Gross wrote:
Rename the xenbus_evtchn() function to get_xenbus_evtchn() in order to
avoid two externally visible symbols with the same name when Xenstore-
stubdom is being built with a Mini-OS with CONFIG_XENBUS set.
This works right now, but what guarantee us that Mini-OS will not change
other symbols and clash with the one provided by Xenstored again?
Furthermore, technically, this is a problem for all the other software
linked with Mini-OS. So wouldn't it be better to modify the Mini-OS
build system to prefix all the symbols of the linked binary (here
Xenstored)?
Cheers,
--
Julien Grall
