- {
- device *options = device_tree_add_found(root, "/", "options");
- device_add_integer_property(options, "smp", 1); /* always */
- device_add_boolean_property(options, "little-endian?",
- !image->xvec->byteorder_big_p);
- device_add_string_property(options, "env",
- (WITH_ENVIRONMENT == USER_ENVIRONMENT
- ? "user" : "virtual"));
- device_add_boolean_property(options, "strict-alignment?",
- (WITH_ALIGNMENT == STRICT_ALIGNMENT
- || !image->xvec->byteorder_big_p));
- device_add_boolean_property(options, "floating-point?",
- WITH_FLOATING_POINT);
- device_add_string_property(options, "os-emul", "netbsd");
- }
+ emul_add_tree_options(root, image, "netbsd",
+ (WITH_ENVIRONMENT == USER_ENVIRONMENT
+ ? "user" : "virtual"),
+ 0 /*oea-interrupt-prefix*/);