X86_64-VKERNEL

[Saifi Khan <saifi.khan@xxxxxxxxxxxxxxx>]

Hi:

i'm trying to tailor a X86_64-VKERNEL from VKERNEL file.

Do i need to make any other changes other than the ones below ?

  platform        vkernel
  machine         x86_64
  machine_arch    x86_64
  ident           VKERNEL
  maxusers        0
  makeoptions     DEBUG=-g
  cpu             HAMMER_CPU

The complete file with the relevant fields highlighted is here
http://dragonflybsd.pastebin.com/m583a8a83

Any pointers / observations about running VKERNEL on X86_64 ?


thanks
Saifi.