BIOS Add-on with AMD microcode to fix Side Channel Vulnerability for Windows Embedded Operating System Release Notes
Notes, cautions, and warnings NOTE: A NOTE indicates important information that helps you make better use of your product. CAUTION: A CAUTION indicates either potential damage to hardware or loss of data and tells you how to avoid the problem. WARNING: A WARNING indicates a potential for property damage, personal injury, or death. © 2019 Dell Inc. or its subsidiaries. All rights reserved. Dell, EMC, and other trademarks are trademarks of Dell Inc. or its subsidiaries.
Contents 1 Release summary........................................................................................................................................... 4 Version................................................................................................................................................................................. 4 Release date.................................................................................................................................................
1 Release summary The scope of this release is to update BIOS with AMD Microcode to address the Side Channel security vulnerability on Dell Wyse 5060 thin clients running the Windows Embedded Standard 7P and Windows 10 IoT Enterprise operating system. Topics: • Version • Release date • Priority and recommendations Version 1.0K Release date May 2019 To download and install the add-on, see Downloading the add-on package.
2 Compatibility Supported platforms Table 1. Supported platforms Platform name Dell Wyse 5060 thin client Operating system Memory configuration Flash size RAM size Windows Embedded Standard 7P 32 GB 4 GB/8 GB Windows 10 IoT Enterprise 32 GB 4 GB/8 GB Previous version • 1.0J—Windows Embedded Standard 7P • 1.0H—Windows 10 IoT Enterprise Add-on details • File name—WES_5060_BIOS_10K.zip • File size—6.
• The BIOS file is displayed under OS image repository in Wyse Management Suite and under Images in Wyse Device Manager.
3 Known issue Table 3. Known issue Issue ID Issue description Workaround WC-1058 You cannot register the BIOS file that is unzipped for Windows Embedded Standard 7P to the USB Imaging tool. There is no workaround for this issue.
4 Installing the add-on Download the add-on package About this task This section describes the steps to download the add-on from Dell support site. Steps 1 Go to www.dell.com/support. 2 In the Enter a Service Tag, Serial Number, Service Request, Model, or Keyword field, type the Service Tag or the model number of your device, and press Enter or click the search icon. 3 On the product support page, click Drivers & downloads. 4 Select the appropriate operating system.
NOTE: System reboots once during the package deployment. Install the add-on using Wyse Device Manager About this task This section describes the steps to install the add-on using Wyse Device Manager. Steps 1 Copy the respective .exe file to the WDM server. 2 Launch Wyse Device Manager and login using valid credentials. 3 Click Applications in the Dell Wyse Device Manager dashboard page. The options Images, Other Packages, Agent Update, Device Configuration, and PCoIP Device Configuration are displayed.
If your USB drive contains images, these images are displayed on the screen. 8 Select the operating system architecture that you want to push to the target device. Select one of the following: • 9 32 bit—Select this option to push the 32-bit architecture-based operating system to the target device. • 64 bit—Select this option to push the 64-bit architecture-based operating system to the target device. To add a new local image on the USB drive, click the Local tab, and add the BIOS file.
5 Resources and support Accessing documents using the product search 1 Go to www.dell.com/support. 2 In the Enter a Service Tag, Serial Number, Service Request, Model, or Keyword search box, type the product name. For example, Wyse 3040 thin client or Windows 10 IoT Enterprise. A list of matching products is displayed. 3 Select your product and click the search icon or press Enter. 4 Click Manuals & documents.
6 Contacting Dell Dell provides several online and telephone-based support and service options. Availability varies by country and product, and some services may not be available in your area. To contact Dell for technical support or customer service issues, see www.dell.com/contactdell. If you do not have an active Internet connection, you can find contact information on your purchase invoice, packing slip, bill, or the product catalog.