sim_hw="$(SIM_HW_DEVICES)" ; \
        echo "/* generated by Makefile */" ; \
        printf "extern const struct hw_descriptor dv_%s_descriptor[];\n" $$sim_hw ; \
-       echo "const struct hw_descriptor *hw_descriptors[] = {" ; \
+       echo "const struct hw_descriptor * const hw_descriptors[] = {" ; \
        printf "  dv_%s_descriptor,\n" $$sim_hw ; \
        echo "  NULL," ; \
        echo "};" \
 
 
   /* locate a descriptor */
   {
-    const struct hw_descriptor **table;
+    const struct hw_descriptor * const *table;
     for (table = hw_descriptors;
         *table != NULL;
         table++)