4.2: Adding a secondary nameserver for RISC