Re: 64bit startup

[Sergey Bugaev]

On Fri, May 26, 2023 at 7:22 PM Samuel Thibault <samuel.thibault@gnu.org> wrote:
> I.e. gnumach without optimizations gets things wrong. We do want to fix
> that :)

Or, we could also shrug it off and do what glibc is doing:

#ifndef __OPTIMIZE__
# error "gnumach cannot be compiled without optimization"
#endif

:) :) :) :) :)

Sergey

P.S. I don't think I'm breaking any news here, but glibc totally can
be compiled without optimizations -- it only requires removing that
#error and tweaking some things here and there. And it does produce
working binaries.