Wind River Support Network

Description

SharkBay-Mobile:
BIOS:  HSWLPTU1.86C.0109.R03.1301282055
CPU: Haswell C0
Chipset :Lynx Point C1
Kernel: 3.4.34-WR5.0.1.0_standard
OS: Wind River Linux 5.0.1.0

# cat /sys/devices/system/cpu/cpuidle/current_driver
acpi_idle
Here should be the "intel_idle"

Steps to Reproduce

1. configure --enable-board=intel-xeon-core-haswell --enable-rootfs=glibc-std --enable-kernel=standard

2. make fs

3. boot on SharkBay-Mobile board which has CPU: Haswell C0

# cat /sys/devices/system/cpu/cpuidle/current_driver

Other Downloads

• Wind River Linux 5.0.1.5
• Wind River Linux 5.0.1.6
• Wind River Linux 5.0.1.7
• Wind River Linux 5.0.1.8
• Wind River Linux 5.0.1.9
• Wind River Linux 5.0.1.10
• Wind River Linux 5.0.1.11
• Wind River Linux 5.0.1.12
• Wind River Linux 5.0.1.13
• Wind River Linux 5.0.1.14
• Wind River Linux 5.0.1.15
• Wind River Linux 5.0.1.16
• Wind River Linux 5.0.1.17
• Wind River Linux 5.0.1.18
• Wind River Linux 5.0.1.19
• Wind River Linux 5.0.1.20
• Wind River Linux 5.0.1.21
• Wind River Linux 5.0.1.22
• Wind River Linux 5.0.1.23
• Wind River Linux 5.0.1.24
• Wind River Linux 5.0.1.25
• Wind River Linux 5.0.1.26
• Wind River Linux 5.0.1.27
• Wind River Linux 5.0.1.28
• Wind River Linux 5.0.1.29
• Wind River Linux 5.0.1.30
• Wind River Linux 5.0.1.31
• Wind River Linux 5.0.1.32
• Wind River Linux 5.0.1.33
• Wind River Linux 5.0.1.34
• Wind River Linux 5.0.1.35