Donation from David Carlier
[ikiwiki.git] / docs / developer / AMD64GSoC.mdwn
index 079f835..b1881c8 100644 (file)
@@ -1,50 +1,94 @@
-# Port DragonFly to the AMD64 architecture \r
-A [Google Summer of Code](http://code.google.com/soc/2008) project.<<BR>>\r
-Student: Jordan Gordeev<<BR>>\r
-Mentor: Matthew Dillon<<BR>>\r
-\r
-# What's this all about? \r
-This project is about mixing DragonFly/i386 code and FreeBSD/amd64 code with human intelligence in order to produce DragonFly/amd64.\r
-\r
-# What I promised to deliver \r
-\r
-1. Functioning 64-bit kernel (Linux emulation and NDIS wrapper support not included) - available by midterm<<BR>>\r
-2. Working non-threaded 64-bit userland. - available by midterm<<BR>>\r
-3. 64-bit SMP.<<BR>>\r
-4. Working threaded 64-bit programs.<<BR>>\r
-5. 64-bit vkernels.<<BR>>\r
-6. 32-bit apps working on 64-bit kernels. - optional, if nothing goes wrong<<BR>>\r
-\r
-# Where's the code? \r
-The code is in a Subversion repository available at svn://sometimes.studgrad.net/amd64.\r
-\r
-# What's the current status? \r
-
-* The kernel crashes in the boot sequence soon after leavecrit.\r
-
-* The serial console works.\r
-
-* ddb supposedly works.\r
-
-* Current hot areas: pmap & vm code.\r
-\r
-# Various questions with answers \r
-Q:  **How do I build a 64-bit kernel for testing?** <<BR>>\r
-A: Execute the following steps:\r
- 1. `cd /usr/src`\r
- 1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 buildworld`\r
- 1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 KERNCONF=JG64 buildkernel`\r
- <<BR>>\r
-Your kernel is now in `/usr/obj/usr/src/sys/AMD64_GENERIC/kernel.debug`.<<BR>>\r
-\r
-Q:  **How do I boot the 64-bit kernel?** <<BR>>\r
-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:\r
- 1. `unload`\r
- 1. `unset acpi_load`\r
- 1. `load /kernel64`\r
- 1. `boot`<<BR>>\r
-\r
-Q: ***'I get an error when trying to boot the 64-bit kernel: "can't load file '/kernel64': input/output error". What's wrong?***'<<BR>>\r
-A: Your boot loader isn't prepared to load a 64-bit kernel. You need to recompile and reinstall your boot loader.<<BR>>\r
-\r
-If you've got other questions, add them here or e-mail me at jgordeev@dir.bg.\r
+# Port DragonFly to the AMD64 architecture 
+
+A [Google Summer of Code](http://code.google.com/soc/2008) project.
+
+Student: Jordan Gordeev
+
+Mentor: Matthew Dillon
+
+
+# What's this all about? 
+
+This project is about mixing DragonFly/i386 code and FreeBSD/amd64 code with human intelligence in order to produce DragonFly/amd64.
+
+
+
+# What I promised to deliver 
+
+
+
+1. Functioning 64-bit kernel (Linux emulation and NDIS wrapper support not included) - available by midterm
+
+2. Working non-threaded 64-bit userland. - available by midterm
+
+3. 64-bit SMP.
+
+4. Working threaded 64-bit programs.
+
+5. 64-bit vkernels.
+
+6. 32-bit apps working on 64-bit kernels. - optional, if nothing goes wrong
+
+
+
+# Where's the code? 
+
+The code is in a Subversion repository available at svn://sometimes.studgrad.net/amd64.
+
+
+
+# What's the current status? 
+
+
+* The kernel crashes in the boot sequence soon after leavecrit.
+
+
+* The serial console works.
+
+
+* ddb supposedly works.
+
+
+* Current hot areas: pmap & vm code.
+
+
+
+# Various questions with answers 
+
+Q:  **How do I build a 64-bit kernel for testing?** 
+
+A: Execute the following steps:
+
+ 1. `cd /usr/src`
+
+ 1. `make TARGET_ARCH=amd64 TARGET_PLATFORM=pc64 buildworld`
+
+ 1. `make TARGET_ARCH=amd64 TARGET_PLATFORM=pc64 KERNCONF=JG64 buildkernel`
+
+
+
+Your kernel is now in `/usr/obj/usr/src/sys/AMD64_GENERIC/kernel.debug`.
+
+
+Q:  **How do I boot the 64-bit kernel?** 
+
+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:
+
+ 1. `unload`
+
+ 1. `unset acpi_load`
+
+ 1. `load /kernel64`
+
+ 1. `boot`
+
+
+
+Q: ***'I get an error when trying to boot the 64-bit kernel: "can't load file '/kernel64': input/output error". What's wrong?***'
+
+A: Your boot loader isn't prepared to load a 64-bit kernel. You need to recompile and reinstall your boot loader.
+
+
+
+If you've got other questions, add them here or e-mail me at jgordeev@dir.bg.
+