请问各位: grub4dos 的 is64bit 怎么用？

blank007

请问各位: grub4dos 的 is64bit 怎么用？

我想实现以下功能：

grub4dos 在 bios 下，如果判断是 64 位的，则 configfile /menux64.txt。否则, configfile /menux86.txt


仿C语言的 伪代码：

if (true==is64bit())
    configfile /menux64.txt;
else
    configfile /menux86.txt;

现在，不知道如何获取、使用 is64bit 的返回值。

请各位大侠赐教


翻阅本坛资料，已经完美解决。代码如下：


clear


checkrange 2:3 is64bit && set BIOS=64
checkrange 0:1 is64bit && set BIOS=32


clear


if %BIOS%==64 configfile /EFI/Grub/BIOS/Menux64.txt
if %BIOS%==32 configfile /EFI/Grub/BIOS/Menux86.txt





多谢各位大神

blank007

2011yaya2007777 发表于 2023-10-31 11:00
在什么环境应用？

传统的bios下

blank007

2011yaya2007777 发表于 2023-10-31 11:00
在什么环境应用？

传统 bios 下，如果识别硬件是 64 位的，就启动 64 位的微系统。反之，则启动 32 的微系统

blank007

多谢各位的开示！

以前也问过类似的问题，到现在也是一直没搞懂。很惭愧。

看来需要再翻翻相关文档试试了。

blank007

clear

checkrange 2:3 is64bit && configfile /EFI/Grub/BIOS/Menux64.txt  ! configfile /EFI/Grub/BIOS/Menux86.txt

这样的语句似乎可以做到：64位机器运行64位微系统，32位则运行32位微系统

blank007

@9楼  就是在本坛以  is64bit  搜到的