Спасибо большое за ответы. Буду разбираться. Мне требуется генерация чистых 64-разрядных WinApi, kernel в части отвечающий за выделение памяти я давно написал под себя (требовалась многозадачность и отказался от сборки мусора). Что касается перехода на 64-х разрядную адресацию - кажется не сложно добавить новый тип PTR64 (может я ошибаюсь). Сложнее с форматом PE64 - хотя пишут что он не отличается по структуре от PE32.

Илья, если не сложно дайте ссылку на описание O2 в pdf формате.