Incomplete or outdated aarch64 kernel sources?

[Eddy Petrișor <eddy.petrisor%gmail.com@localhost>]

Hello,

I've seen the aarch64 (arm64) is preliminary for now, but since I own
2 pine64 boards and have access to NXP S32V234 (4 x cortex a53) at
work, I have some interest in this port, so I have just tried
compiling userland and kernel (A64EMUL) for it.

I've seen that there are a few things missing to make this work, but
now I am a little stuck:

1. sys/arch/evbarm64/compile/Makefile was missing, I copied it from
sys/arch/evbarm/compile
2. sys/arch/aarch64/conf/files.aarch64 wants to bring in
uvm/pmap/pmap_pv.c, but that files does not exist. I tried removing
the file or using pmap_pvt.c instead, but the build failed later due
to a missing defintion (in both situations):

In file included from /tmp/genassym.6FUC9z/assym.c:10:
In file included from /home/eddy/usr/src/pine64/netbsd/src/sys/sys/mbuf.h:91:
In file included from /home/eddy/usr/src/pine64/netbsd/src/sys/net/if.h:87:
In file included from
/home/eddy/usr/src/pine64/netbsd/src/sys/net/pktqueue.h:39:
In file included from /home/eddy/usr/src/pine64/netbsd/src/sys/sys/sysctl.h:52:
In file included from
/home/eddy/usr/src/pine64/netbsd/src/sys/uvm/uvm_extern.h:471:
In file included from
/home/eddy/usr/src/pine64/netbsd/src/sys/uvm/uvm_pmap.h:115:
In file included from ./machine/pmap.h:5:
./aarch64/pmap.h:51:2: error: unknown type name 'pmap_pv_info_t'
        pmap_pv_info_t pm_pvinfo;
        ^
./aarch64/pmap.h:62:2: error: unknown type name 'vm_page_pv_info_t'
        vm_page_pv_info_t mdpg_pv;
        ^
2 errors generated.
*** [assym.h] Error code 1

nbmake: stopped in
/home/eddy/usr/src/pine64/netbsd/src/sys/arch/evbarm64/compile/obj/A64EMUL
2 errors

nbmake: stopped in
/home/eddy/usr/src/pine64/netbsd/src/sys/arch/evbarm64/compile/obj/A64EMUL


As I have seen vm_page_pv_info_t is only referred only in another
platform introduced by Matt, OR1K, but I can't find its definition
anywhere. pmap_pv_info_t is in the same boat.


Is there a branch that has has more complete support for aarh64?
Is there somebody actively working on the port?
Any idea on how to fix the issues above?

-- 
Eddy Petrișor