Dear Maintainer,
this problem may be related to https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=909310I could solve my problem by setting "Above 4GB mapping" (in the BIOS's PCI settings) to "disabled" (following advice from Fujitsu Tech Support).
Best Regards, Peter -- ------------------------------------------------------------------- Dr. Peter J. Bauer Universitaet Frankfurt a.M. Institut fuer Mathematik Tel. 069/798-23694 Robert-Mayer-Str. 10 Fax 069/798-23674 60325 Frankfurt/Main -------------------------------------------------------------------
smime.p7s
Description: S/MIME Cryptographic Signature