SYNOPSIS
========

    Port DragonFly to the AMD64 architecture


INTRODUCTION
============
More and more processors these days are 64-bit capable, but DragonFly runs on them in 32-bit mode only. In fact, DragonFly is the last remaining BSD without AMD64 support.
The aim of this project is to bring AMD64 support to DragonFly.


DELIVERABLES
============

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)