Ну да, банки памяти там как в 51м, похожи очень. Отдельной доки на
ядро я не нашел, как и прямого упоминания что там 51-е. Доки на
ассемблер тоже нет, но можно, вроде, посмотреть в отладчике.
https://embedders.org - блоги разработчиков встраиваемых систем.