<div dir="ltr">Hi list,<div><br></div><div>Is it possible to define a MACHINE configuration with a 64 Bit kernel and 32 Bit user space ?</div><div><br></div><div>The user space should not be using a  x32 ABI.</div><div><br></div><div><br></div><div>Thank you!</div><div><br></div><div>best regards</div><div><br></div><div><h1 class="gmail-grid--cell gmail-fs-headline1 gmail-fl1" style="margin:0px 0px 0.5em;padding:0px;border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-weight:inherit;font-stretch:inherit;line-height:1.3;font-family:Arial,"Helvetica Neue",Helvetica,sans-serif;vertical-align:baseline;box-sizing:inherit;color:rgb(36,39,41);text-align:left;background-color:rgb(255,255,255);text-decoration-style:initial;text-decoration-color:initial;font-size:2.07692rem"><br></h1>

<br></div></div>