> 4) ничего не сделано, а напротив сформировано сугубо одностековое ABI и инфраструктура.

Да, конечно. Если бы они написали рекомендацию использовать два стека, то Торвальдс, а вместе с ними гуглы, амазоны, редхаты и пр., сочли бы для себя ниже чести положить на неё болт, и делать по-своему.

Перед RISC-V не стоит задачи учить всех программировать. Они скромнее, они создают процессор под популярные юзкейсы. И рекомендации пишут исходя из того, как они ждут их процессор будет использоваться. Если бы они порекомендовали бы использовать два стека, то получилось бы так, что те тупые люди, кто повёлся бы на рекомендацию, оказались бы в ситуации белых ворон. А те кто не повёлся бы, были бы вынуждены сами между собой договариваться о том, какой регистр использовать для стека, с риском оказаться в ситуации нескольких по-сути одинаковых но в технических деталях различающихся стандартов.

Переход на два стека для ядра или для допустим linux'ового юзерспейса -- это огромный геморрой для разработчиков. В первом случае для ядерных, во втором для "широких слоёв", но в первую очередь для мейнтейнеров дистров. Кто такой этот RISC-V International, чтобы подобные геморрои _рекомендовать_? Он и не рекомендует, потому что знает своё место в пищевой цепочке.