Put in remaining pages and wiki contents.
[ikiwiki.git] / docs / developer / AMD64GSoC.mdwn
1 # Port DragonFly to the AMD64 architecture \r
2 A [Google Summer of Code](http://code.google.com/soc/2008) project.<<BR>>\r
3 Student: Jordan Gordeev<<BR>>\r
4 Mentor: Matthew Dillon<<BR>>\r
5 \r
6 # What's this all about? \r
7 This project is about mixing DragonFly/i386 code and FreeBSD/amd64 code with human intelligence in order to produce DragonFly/amd64.\r
8 \r
9 # What I promised to deliver \r
10 \r
11 1. Functioning 64-bit kernel (Linux emulation and NDIS wrapper support not included) - available by midterm<<BR>>\r
12 2. Working non-threaded 64-bit userland. - available by midterm<<BR>>\r
13 3. 64-bit SMP.<<BR>>\r
14 4. Working threaded 64-bit programs.<<BR>>\r
15 5. 64-bit vkernels.<<BR>>\r
16 6. 32-bit apps working on 64-bit kernels. - optional, if nothing goes wrong<<BR>>\r
17 \r
18 # Where's the code? \r
19 The code is in a Subversion repository available at svn://sometimes.studgrad.net/amd64.\r
20 \r
21 # What's the current status? \r
22
23 * The kernel crashes in the boot sequence soon after leavecrit.\r
24
25 * The serial console works.\r
26
27 * ddb supposedly works.\r
28
29 * Current hot areas: pmap & vm code.\r
30 \r
31 # Various questions with answers \r
32 Q:  **How do I build a 64-bit kernel for testing?** <<BR>>\r
33 A: Execute the following steps:\r
34  1. `cd /usr/src`\r
35  1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 buildworld`\r
36  1. `make TARGET_ARCH#amd64 TARGET_PLATFORMpc64 KERNCONF=JG64 buildkernel`\r
37  <<BR>>\r
38 Your kernel is now in `/usr/obj/usr/src/sys/AMD64_GENERIC/kernel.debug`.<<BR>>\r
39 \r
40 Q:  **How do I boot the 64-bit kernel?** <<BR>>\r
41 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
42  1. `unload`\r
43  1. `unset acpi_load`\r
44  1. `load /kernel64`\r
45  1. `boot`<<BR>>\r
46 \r
47 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
48 A: Your boot loader isn't prepared to load a 64-bit kernel. You need to recompile and reinstall your boot loader.<<BR>>\r
49 \r
50 If you've got other questions, add them here or e-mail me at jgordeev@dir.bg.\r