LibC.inf Driver File Contents (msi_x399-sli-plus_moboard_lan_win11.zip)

## @file
#  Standard C library: Miscelaneous implementations.
#
#  Copyright (c) 2010 - 2018, Intel Corporation. All rights reserved.<BR>
#
#  This program and the accompanying materials
#  are licensed and made available under the terms and conditions of the BSD License
#  which accompanies this distribution. The full text of the license may be found at
#  http://opensource.org/licenses/bsd-license.
#
#  THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
#  WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
##

[Defines]
  INF_VERSION         = 0x00010005
  BASE_NAME           = LibC
  FILE_GUID           = 695bec93-82ae-4c17-bdad-7f184f4e651d
  MODULE_TYPE         = UEFI_APPLICATION
  VERSION_STRING      = 1.0
  LIBRARY_CLASS       = LibC
  VALID_ARCHITECTURES = IA32 X64 IPF AARCH64

[Sources]
  MemorySupport.c

[Sources.IA32]
  CustomMathIa32.c | MSFT  # __allmul, __allshl, __aullshr

[Packages]
  MdePkg/MdePkg.dec

[LibraryClasses]
  BaseLib

# The Build Options, below, are only used when building the C library.
# DO NOT use them when building your application!
# Nasty things could happen if you do.

[BuildOptions]
  MSFT:*_*_*_CC_FLAGS     = /Oi- /GL-
  GCC:*_*_*_CC_FLAGS = -D_SIZE_T_NOTDEFINED

[BuildOptions.IA32]
  MSFT:*_*_*_CC_FLAGS = /D _SIZE_T_NOTDEFINED
Download Driver Pack

How To Update Drivers Manually

After your driver has been downloaded, follow these simple steps to install it.

  • Expand the archive file (if the download file is in zip or rar format).

  • If the expanded file has an .exe extension, double click it and follow the installation instructions.

  • Otherwise, open Device Manager by right-clicking the Start menu and selecting Device Manager.

  • Find the device and model you want to update in the device list.

  • Double-click on it to open the Properties dialog box.

  • From the Properties dialog box, select the Driver tab.

  • Click the Update Driver button, then follow the instructions.

Very important: You must reboot your system to ensure that any driver updates have taken effect.

For more help, visit our Driver Support section for step-by-step videos on how to install drivers for every file type.

server: ftp, load: 1.38