- Timestamp:
- Jun 15, 2010, 1:03:04 AM (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/2.2.9/mindi/mindi
r2649 r2654 2849 2849 # See if it's a Xen kernel 2850 2850 if [ -n "$kernelpath" ]; then 2851 strings $kernelpath | grep -iq xen 2>/dev/null2852 if [ $? -eq 0]; then2851 # See if we're booted from a Xen kernel 2852 if [ -d /proc/sys/xen ]; then 2853 2853 # It's a Xen kernel 2854 2854 KERNEL_IS_XEN=yes
Note:
See TracChangeset
for help on using the changeset viewer.