Re: GNUmach compiling on ppc64le

[Tobias Platen]

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>