docs/developer/AMD64GSoC.mdwn

   1 # Port DragonFly to the AMD64 architecture
   2
   3 A [Google Summer of Code](http://code.google.com/soc/2008) project.
   4
   5 Student: Jordan Gordeev
   6
   7 Mentor: Matthew Dillon
   8
   9
  10 # What's this all about?
  11
  12 This project is about mixing DragonFly/i386 code and FreeBSD/amd64 code with human intelligence in order to produce DragonFly/amd64.
  13
  14
  15
  16 # What I promised to deliver
  17
  18
  19
  20 1. Functioning 64-bit kernel (Linux emulation and NDIS wrapper support not included) - available by midterm
  21
  22 2. Working non-threaded 64-bit userland. - available by midterm
  23
  24 3. 64-bit SMP.
  25
  26 4. Working threaded 64-bit programs.
  27
  28 5. 64-bit vkernels.
  29
  30 6. 32-bit apps working on 64-bit kernels. - optional, if nothing goes wrong
  31
  32
  33
  34 # Where's the code?
  35
  36 The code is in a Subversion repository available at svn://sometimes.studgrad.net/amd64.
  37
  38
  39
  40 # What's the current status?
  41
  42
  43 * The kernel crashes in the boot sequence soon after leavecrit.
  44
  45
  46 * The serial console works.
  47
  48
  49 * ddb supposedly works.
  50
  51
  52 * Current hot areas: pmap & vm code.
  53
  54
  55
  56 # Various questions with answers
  57
  58 Q:  **How do I build a 64-bit kernel for testing?**
  59
  60 A: Execute the following steps:
  61
  62  1. `cd /usr/src`
  63
  64  1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 buildworld`
  65
  66  1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 KERNCONF=JG64 buildkernel`
  67
  68
  69
  70 Your kernel is now in `/usr/obj/usr/src/sys/AMD64_GENERIC/kernel.debug`.
  71
  72
  73 Q:  **How do I boot the 64-bit kernel?**
  74
  75 A: Copy the 64-bit kernel to a convenient location, e.g. '/kernel64'. Reboot your 64-bit system and at the loader menu choose option 6 (escape to prompt). Enter the following commands:
  76
  77  1. `unload`
  78
  79  1. `unset acpi_load`
  80
  81  1. `load /kernel64`
  82
  83  1. `boot`
  84
  85
  86
  87 Q: ***'I get an error when trying to boot the 64-bit kernel: "can't load file '/kernel64': input/output error". What's wrong?***'
  88
  89 A: Your boot loader isn't prepared to load a 64-bit kernel. You need to recompile and reinstall your boot loader.
  90
  91
  92
  93 If you've got other questions, add them here or e-mail me at jgordeev@dir.bg.
  94