Hi, In the cpu_setup for the CPU (National Geode SCx200) want to map a few Kb at 0x4000000 in physical memory till virtual kernel memory. How shall go about? I tried to alloc kernel memory adresses through uvm_km_valloc() but I only get pagefaults. tia, /Alexander