The Resource Provisioning screen, located under the System menu in the BIG-IP Configuration utility, is the correct location for this task. This interface displays a comprehensive list of all available BIG-IP modules and indicates their current licensing status (e.g., Licensed, Unlicensed). Furthermore, it is the designated area for administrators to allocate system memory and CPU resources to licensed modules by setting a provisioning level (None, Minimum, Nominal, or Dedicated). This directly addresses both requirements of the administrator: viewing license status and understanding memory requirements for each module.

A. Configuration » OVSDB: This section is for configuring and managing the Open vSwitch Database, which is used for network virtualization features like VXLAN, not for module licensing.

B. Software Management: This area is used to manage BIG-IP software images, hotfixes, and boot volumes, not for allocating resources to specific modules.

C. Configuration » Device: This section contains general device-level settings, such as device certificates, device groups, and traffic groups, but not module resource allocation.

1. F5 BIG-IP System: Administration Guide (v17.1), Chapter: "Managing System Resources", Section: "Provisioning resources for BIG-IP modules".

The guide states, "You use the Resource Provisioning screen in the BIG-IP Configuration utility to provision resources for the BIG-IP modules... On the Main tab, click System > Resource Provisioning. The Resource Provisioning screen opens, displaying a list of the BIG-IP modules." This section details how the screen shows licensed modules and allows for setting provisioning levels which dictate memory allocation.

2. F5 Knowledge Base Article K15935595: Overview of BIG-IP VE and BIG-IQ VE license and resource provisioning.

This article explains, "You can view the licensed modules and provision resources for them by navigating to System > Resource Provisioning." This directly confirms the function and location described in the question.