kernel/fiasco/src/kern/ia32/32/linking.h

   1 #pragma once
   2
   3 #define FIASCO_MP_TRAMP_PAGE     0x1000   // must be below 1MB
   4 #define FIASCO_IMAGE_PHYS_START  0x400000
   5 //#define FIASCO_IMAGE_PHYS_START  0x2000
   6 #define FIASCO_IMAGE_VIRT_START  0xf0000000
   7
   8 #define FIASCO_IMAGE_PHYS_OFFSET (FIASCO_IMAGE_VIRT_START - (FIASCO_IMAGE_PHYS_START & 0xffc00000))