hurd-web.git/microkernel, branch master

Drop todo about Interface for userspace drivers

2026-03-24T20:58:54Z

It is now done.

Update documentation to 64b ld.so

2025-08-15T23:37:50Z

trivial change. ## Type descriptor rework: mach_size -> `mach_size` and other similar changes.

2025-04-15T18:09:03Z

Fix memory object methods names

2025-02-10T21:29:46Z

Add microkernel/mach/mig/documentation/mig-mutate page

2024-12-11T20:57:23Z

* microkernel/mach/mig/documentation.mdwn: add a link pointing to mig-mutate page * .../mach/mig/documentation/mig-mutate.mdwn: new file. Introduction to a mig-mutate.h file Signed-off-by: Zhaoming Luo Message-ID: <20241211033007.536408-2-zhmingluo@163.com>

Add an introduction about a mig-mutate.h file

2024-12-08T13:22:05Z

Add a link pointing to an introduction about a mig-mutate.h file * microkernel/mach/mig/documentation.mdwn: new further relevant documentation Message-ID: <20241208001157.157886-1-zhmingluo@163.com>

add more detail to the resource management page

2024-11-11T23:17:21Z

* microkernel/mach/deficiencies.mdwn: link to the resource management page. * microkernel/mach/gnumach/memory_management.mdwn: link to the resource management page. * open_issues/resource_management_problems.mdwn: I added in 3 paragraphs from an old email that explained this problem really well. Message-ID: <20241017171121.2018-1-jbranso@dismail.de>

sv.{gnu,nongnu}.org -> savannah.{gnu,nongnu}.org

2024-11-03T13:57:52Z

This a very trivial change. The former is just an alias of latter. But for new users and contributors like me, it sometimes confuses them what the difference is between the two ones. Is one old and the other new? Or something confusing else. So this patch helps them save some time. Signed-off-by: Yuqian Yang Message-ID: <8690a9c5-1da4-4adc-92b9-fd8f8dab2c88@crupest.life>

Fix git.savannah.gnu.org urls into https

2024-04-07T15:18:07Z

Mention the onlyup build profile for gnumach

2024-04-06T22:52:30Z