❌: This section has not yet been written. Please refer to embedded-wg#817 for discussion of this section.