With the first two patches I can now use my 32-bit installation with a 64-bit kernel, using rumpdisk and with --enable-apic. The system is quite usable: network, file system checks, rumpdisk all work.
Some small issues are still present, e.g: $ cat /proc/cmdline cat: /proc/cmdline: Input/output error and at boot: /hurd/startup: cannot write command line into kernel task: (os/kern) invalid address The 64-bitness of the kernel is not very visible from userspace, but for example we can check the usage of the page table caches, which are now the ones using more memory in the kernel (and has 4 levels on x86_64): $ cat /proc/slabinfo cache obj slab bufs objs bufs total reclaimable name flags size size /slab usage count memory memory ... pmap 0006 32 4k 125 56 125 4k 0k pmap_L1 0013 4096 4k 1 4485 4485 17940k 0k pmap_L2 0013 4096 4k 1 2294 2294 9176k 0k pmap_L3 0013 4096 4k 1 1526 1526 6104k 0k pmap_L4 0013 4096 4k 1 56 59 236k 12k Luca Dariz (3): pmap: only map lower BIOS memory 1:1 when using Linux drivers x86_64: enable code for managing interrupts x86_64: add 64-bit registers when dumping thread state device/ds_routines.c | 12 ++++++------ i386/i386/debug_i386.c | 14 ++++++++++++++ i386/intel/pmap.c | 9 +++++++++ 3 files changed, 29 insertions(+), 6 deletions(-) -- 2.30.2
