EmBIOS: 一种支持MS Windows的嵌入式系统BIOS设计

北京大学学报（自然科学版）

EmBIOS: 一种支持MS Windows的嵌入式系统BIOS设计

李皓,郑衍松,庞九凤,佟冬,程旭

北京大学微处理器研究开发中心, 北京100871;

收稿日期:2011-01-09 出版日期:2012-01-20 发布日期:2012-01-20

EmBIOS: A BIOS Design for Embedded System Supporting MS Windows

LI Hao, ZHENG Yansong, PANG Jiufeng, TONG Dong, CHENG Xu

Microprocessor Research and Development Center, Peking University, Beijing 100871;

Received:2011-01-09 Online:2012-01-20 Published:2012-01-20

摘要/Abstract

摘要： 提出一种兼容工业规范的嵌入式BIOS设计EmBIOS, 支持嵌入式系统运行MS Windows等操作系统。以中断服务为单位, 对全系统模拟器BIOS进行划分可得到中断服务例程集。将中断服务例程集扩展、移植到传统嵌入式固件环境, EmBIOS既能利用现有嵌入式固件初始化系统, 又可提供桌面操作系统所需中断服务。EmBIOS正确性和兼容性在PKUnity86 FPGA原型系统中通过运行典型操作系统及应用软件得到了验证, 并应用于真实芯片系统。实验表明, EmBIOS具备可移植性, 并能提供与商业BIOS相当的启动速度。

关键词: 基本输入输出系统, MSWindows, 固件, 嵌入式系统

Abstract: The authors present EmBIOS, a compatible BIOS design for embedded system to support desktop OS such as MS Windows. To effectively achieve OS compatiblity, a simulator BIOS which could boot desktop OS in simulator environment is divided into multiple interrupt service routines. Then by extending and transplanting interrupt service routines to traditional embedded firmware environment, EmBIOS enables initialization of embedded system with existing firmware, and provides BIOS compatibility required by desktop OS. The functional correctness and OS compatibility are guaranteed through running windows and its typical applications on PKUnity86 FPGA and silicon. Experimental results demonstrate that the portability of EmBIOS design and its acceptable boot up performance compared with a commercial embedded BIOS.

Key words: embedded system, basic input/output system (BIOS), MS Windows, firmware

中图分类号:

TP315

李皓,郑衍松,庞九凤,佟冬,程旭. EmBIOS: 一种支持MS Windows的嵌入式系统BIOS设计[J]. 北京大学学报（自然科学版）.

LI Hao,ZHENG Yansong,PANG Jiufeng,TONG Dong,CHENG Xu. EmBIOS: A BIOS Design for Embedded System Supporting MS Windows[J]. Acta Scientiarum Naturalium Universitatis Pekinensis.

导出引用管理器 EndNote|Ris|BibTeX

链接本文: https://xbna.pku.edu.cn/CN/

https://xbna.pku.edu.cn/CN/Y2012/V48/I1/20

[1]	李翔, 沈超, 刘钊, 刘才山, 刘燕, 刘超. 螺栓装配过程有限元分析高效联合仿真研究[J]. 北京大学学报自然科学版, 2023, 59(6): 923-933.
[2]	武玲娟,崔小欣,于敦山. 水下声学调制解调器动态可重构数字系统设计与实现[J]. 北京大学学报（自然科学版）, 2013, 49(5): 765-772.
[3]	李莹,Bridget Benson,于敦山,Ryan Kastner,张兴. 使用嵌入式处理器的水声调制解调器控制系统设计方法与研究[J]. 北京大学学报（自然科学版）, 2011, 47(2): 245-250.
[4]	陈钢,宋晓宇, 顾明. COQ定理证明器辅助PLC 程序验证和分析[J]. 北京大学学报（自然科学版）, 2010, 46(1): 30-34.
[5]	郑衍松,佟冬,李皓,庞九凤,王克义,程旭. MS Windows 兼容的系统芯片硬件核心的分析与实践[J]. 北京大学学报（自然科学版）, 2009, 45(6): 973-978.
[6]	滕启明, 陈向群. XCODE: 一种面向系统软件的可扩展构件描述语言[J]. 北京大学学报（自然科学版）, 2004, 40(3): 388-396.