Re: [Xen-devel] [PATCH] caml-stubdom: fix "red zone" bug

[Ian Jackson <Ian.Jackson@xxxxxxxxxxxxx>]

Patrick Colp writes ("[Xen-devel] [PATCH] caml-stubdom: fix "red zone" bug"):
> According to the AMD64 ABI, the 128-byte area below %rsp is reserved
> for scratch space and should not be used by signal, interrupt, or
> exception handlers. However, Mini-OS does not adhere to this
> interface. 

How unpleasant.

> This patch fixes this issue by passing the -mno-red-zone flag to the
> ocaml configure script in the stubdom Makefile.

Perhaps it would be better to make Mini-OS adhere to the specified
interface ?  But I guess your patch is good in the meantime.

Ian.

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxx
http://lists.xensource.com/xen-devel