Hi, On Sat, May 13, 2023, 04:01 <jbra...@dismail.de> wrote: > > Forgive me for asking the dumb question... > > is the current 64-bit port for both the kernel and userland?
Yes :) > If yes, then I will submit a patch soon to remove this paragraph from the wiki > > There are currently no plans for 64-bit userland for the short term... > > from this webpage: > https://darnassus.sceen.net/~hurd-web/open_issues/64-bit_port Evidently that page is out of date. Not only are there *plans* for a userland, there now is the userland itself. You should really build it and see for yourself! Sergey