Re: platform_kernel_args & libdisk_device_manager.so

On 2003-10-24 at 11:39:23 [+0200], you wrote:
> Compiling libdisk_device_manager.so was failing due to
> ddm_userland_interface.cpp needing the boot platform specific
> platform_kernel_args.h file in the search path, so I added:
> 
> UsePrivateHeaders [ FDirName kernel boot platform $(OBOS_BOOT_PLATFORM) ] ;
> 
> to the Jamfile for libdisk_device_manager.so. It doesn't appear to muck
> anything up, but I'm not sure if this how you all want this handled or not
> so I thought I'd mention it. :-)

Mmh, that must be something Axel introduced (accidentially?), as it seems to 
be boot loader specific. We indirectly include <vm.h>, and I guess the 
source is to be found somewhere in this direction.

CU, Ingo