Richard Henderson <[email protected]> writes: > CONFIG_USER_ONLY == !CONFIG_SYSTEM_ONLY. > Therefore it's cleaner to just add to user_ss. > > Signed-off-by: Richard Henderson <[email protected]>
Reviewed-by: Alex Bennée <[email protected]> -- Alex Bennée Virtualisation Tech Lead @ Linaro
