[PATCH 0/3] 64-bit improvements (rump drivers, debug)

[Luca Dariz]

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