<server id="freebsd-server-smp">
  <is-a id="freebsd-server"/>
  <kernel>
    <option>SMP</option>
    <option>APIC_IO</option>
  </kernel>
</server>

