K 10 svn:author V 3 phk K 8 svn:date V 27 2019-02-12T21:06:07.004966Z K 7 svn:log V 49 Point people to SMP(4) for CPU<->domain mapping. END