We haven't been able to release the ia32 ABI so far, but we hope to do that (along with x86_64) sometime in the near future. On 12/02/2008, at 8:18 AM, Harry Vennik wrote: > > Btw: is there an ABI doc anywhere for OKL4 on ia32? The progmanual > only includes the ABI for ARM... -- (nt) Nelson Tam nelson at ok-labs.com