-
Philippe Gerum authored
As we never had more than a couple of arch-specific parameters, there is no point in dissociating "xenomai." vs "xeno_machine." namespaces, which only ends up confusing the end-user. This patch moves the former "xeno_machine." parameters to the "xenomai." namespace (x86-specific basically).
c26c79a6