Uh...what makes you think OS4 on the A1 will even have AGA support? Come to think of it, what makes you think it will have any paula support?
Chipset emulation is costly, difficult to integrate and slows everything down. And I doubt ExecSG will allow the hardware banging that AGA apps do anyway. Best just run UAE if you want AGA.
