Re: GNUmach compiling on ppc64le

[jbranso]

You may be interested in this wiki page, which mentions what is needed for 
64-bit support. I
believe the current plan is to have a 64-bit kernel with a 32 bit user space 
(though 64 bit kernel
and 64 bit user space would be cool too).

http://darnassus.sceen.net/~hurd-web/open_issues/64-bit_port

P.S. Please take everything I say with a grain of salt. I think half of 
Samuel's emails are him
correcting the incorrect emails that I have sent. :)

December 19, 2020 11:26 AM, "Tobias Platen" <guix@platen-software.de> wrote:

> On Sat, 19 Dec 2020 11:44:41 +0100
> Tobias Platen <guix@platen-software.de> wrote:
> 
>> Hello,
>> 
>> I managed to cross compile gnumach on my Talos II using a mig installation
>> in a buster chroot. For ppc support I used some modules from the osfmk 
>> kernel,
>> which I took from [1]. Much more work will be needed for a working PPC 
>> branch.
>> 
>> [1] https://github.com/slp/osfmk-mklinux/tree/master/osfmk/src/mach_kernel
>> --
>> Tobias Platen <guix@platen-software.de>
> 
> This evening I made parts of the kernel 64bit safe, since osfmk originally
> supported 32 bit only. I've uploaded my version of the kernel to notabug[2].
> 
> [2] https://notabug.org/isengaara/gnumach-ppc
> 
> I was able to start the kernel on POWER9 where I got the following debug 
> output:
> 
> calling setup_main
> rdxtree_cache_init
> ipc_bootstrap
> calling is_alloc
> allocate memory from [ipc_space] size=88
> space=0x13e420670 sizeof(space)=8
> calling is_alloc
> allocate memory from [ipc_space] size=88
> space=0x13e4206d0 sizeof(space)=8
> allocate memory from [] size=0
> allocate memory from [] size=0
> ipc_init
> allocate memory from [ipc_port] size=136
> allocate memory from [ipc_port] size=136
> allocate memory from [ipc_port] size=136
> allocate memory from [ipc_port] size=136
> allocate memory from [ipc_port] size=136
> splsched() is not implemented
> splx() is not implemented
> allocate memory from [] size=0
> stack_attach() is not implemented
> splsched() is not implemented
> splx() is not implemented
> splsched() is not implemented
> splx() is not implemented
> userland: start_kernel_threads
> create idle thread 0
> panic kern/startup.c:293: start_kernel_threads: TODO: bootstrap create
> 
> --
> Tobias Platen <guix@platen-software.de>