Bring x86_64-gnu (the 64bit Hurd) to Guix
Port Guix to the GNU Hurd microkernel
"The Hurd" is the GNU project's microkernel-based replacement for the Unix kernel. This system has long promised enhanced privacy and security for computer users. This promise has been noted by RISCV-64 researchers who are currently looking to standardize and add RPC hardware features to support microkernels. GNU Guix currently supports i586-gnu (the 32bit Hurd) and is the only supported GNU/Hurd distribution apart from Debian/Hurd that is used by the Hurd developers.
Guix introduced running the Hurd as a system service under Linux (a Childhurd) which has made it very easy to try-out the Hurd which has significantly increased interest in it. As the current 32bit Hurd system can use only a fraction of the system's memory, and using only one processor it is not a very attractive proposition. This project will bring the 64bit intel port of the Hurd to Guix which aims to be another significant step in the adoption and development of the Hurd.
Run by joyofsource.com
This project was funded through the NGI0 Commons Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 101135429. Additional funding is made available by the Swiss State Secretariat for Education, Research and Innovation (SERI).