Re: Errors while building gnu mach (2275d52...) from git source

2024-10-17 Thread Samuel Thibault
Hello, Zhaoming Luo, le jeu. 17 oct. 2024 22:17:43 +0800, a ecrit: > ../linux/dev/include/linux/if.h:148:17: error: unknown type name 'caddr_t' >   148 | caddr_t ifru_data; >   | ^~~ > > Did I misunderstand something? No, it's just a bug in the linux net d

Re: Errors while building gnu mach (2275d52...) from git source

2024-10-17 Thread Joshua Branson
Zhaoming Luo writes: > Hi, > > For testing, I'm trying to build gnu mach (2275d52...) from source by > following the guide on this website. I followed the > path of building from the git repository. After I have a working MIG (either > pre-built from apt or built from source), I run > `make gnu

[web: minor updates] add more detail to the resource management page

2024-10-17 Thread jbra...@dismail.de
* 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.

Errors while building gnu mach (2275d52...) from git source

2024-10-17 Thread Zhaoming Luo
Hi, For testing, I'm trying to build gnu mach (2275d52...) from source by following the guide on this website . I followed the path of building from the git repository. After I have a working MIG (either pre-built from

Re: [web:minor updates 1/3] add more detail to the resource management page

2024-10-17 Thread Amos Jeffries
On 17/10/24 19:06, jbra...@dismail.de wrote: diff --git a/open_issues/resource_management_problems.mdwn b/open_issues/resource_management_problems.mdwn index daf97954..51025d34 100644 --- a/open_issues/resource_management_problems.mdwn +++ b/open_issues/resource_management_problems.mdwn +Thes