Displaying 5 results from an estimated 5 matches for "ntdev".
Did you mean:
netdev
2010 Jan 30
20
"Iomem mapping not permitted" during windows crash dump under GPLPV
I''ve recently noticed that my windows crash dumps fail at around 40-50%
under GPLPV. ''xm dmesg'' shows the following:
(XEN) grant_table.c:350:d0 Iomem mapping not permitted ffffffffffffffff
(domain 865)
At first I thought that the cause was just a bug in my grant ref code
but it just occurred to me that this could be happening when Windows
tries to write out the
2000 Sep 18
3
simple question
...borhood " of my NT workstation, i can see
stccs2 but not stccs4. Why ?
I have this problem with other unix boxes.
Here are the beginnings of smb.conf files :
# Samba config file created using SWAT
# from swebs1 (199.0.1.16)
# Date: 2000/08/30 17:12:25
# Global parameters
workgroup = NTDEV
netbios name = STCCS2
server string = Samba %v on host %h
security = SERVER
encrypt passwords = Yes
password server = PSSICS1
username map = /opt/samba/private/usersmap
log level = 0
log file = /var/opt/samba/log.%m
max open fi...
2009 Jan 20
2
iperf problem with Windows SMP VM
Hi
I am developing Window pv network driver and hit a problem now.
My server use Xen 3.1.4 and have 2 physical CPUs. When I create two VM
with 1 VCPU on a same server, iperf performance is OK between those two
VM, but there is performance degradation between those 2 VM when i
increase VCPU from 1 to 2.
This problem occurs in QEMU mode too.
Does Xen 3.1.4 has such problem or anything wrong
2009 May 06
2
Disabling driver signature enforcement for Windows DomUs
Hi all,
After loading the GplPV drivers for Windows Server 2008, I wanted to
get rid of the annoying F8 option when rebooting each time. I looked
at Ready Driver Plus, which seemed to work, but was only a
workaround. It also seemed to kill my terminal connection from Dom0.
After some research, I found another way:
http://www.ngohq.com/home.php?page=dseo
Which will disable driver
2016 Mar 01
1
Question about Formal Verification
I'd just like to thank everyone who replied on this; the suggestions and
resources are very helpful!
~Scott
On Tue, Feb 9, 2016 at 8:38 PM, Andrew Santosa <santosa_1999 at yahoo.com>
wrote:
> LLBMC http://llbmc.org uses bounded model checking technique to find
> errors in LLVM IR.
> Model checking is essentially search, and since LLBMC is bounded, the
> search for errors