To Whom It May Concern:
I understand that the I4 micro-kernel for GNU Hurd is dead, and that micro kernels beyond GNU Mach are just research. What is the GNU mailing list to follow for the future direction of the GNU Hurd Project? ( What micro-kernel? ARM AARCH64? USB Hurd server support? Graphics processor support? ) It is unclear to me as to which documentation one should be reading and what physical hardware is being targeted as reference platforms for developers to use, and for what purpose? What are people working on? Is its use for a graphical-shell personal computer still even being considered?
