Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)

Design of ARM Based Embedded Operating System Micro Kernel

Authors
Bo Qu, Zhaozhi Wu
Corresponding Author
Bo Qu
Available Online March 2013.
DOI
10.2991/iccsee.2013.513How to use a DOI?
Keywords
embedded operating system, micro kernel, ARM, multi-task schedule, inter-task communication
Abstract

This paper describes the design and implementation of an ARM based embedded operating system micro kernel developed on Linux platform with GNU tool chain in technical details, including the three-layer architecture of the kernel (boot layer, core layer and task layer), multi-task schedule (priority for real-time and round-robin for time-sharing), IRQ handler, SWI handler, system calls, and inter-task communication based on which the micro-kernel architecture is constructed. On the foundation of this micro kernel, more components essential to a practical operating system, such as file system and TCP/IP processing, can be added in order to form a real and practical multi-task micro-kernel embedded operating system.

Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)
Series
Advances in Intelligent Systems Research
Publication Date
March 2013
ISBN
10.2991/iccsee.2013.513
ISSN
1951-6851
DOI
10.2991/iccsee.2013.513How to use a DOI?
Copyright
© 2013, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Bo Qu
AU  - Zhaozhi Wu
PY  - 2013/03
DA  - 2013/03
TI  - Design of ARM Based Embedded Operating System Micro Kernel
BT  - Proceedings of the 2nd International Conference on Computer Science and Electronics Engineering (ICCSEE 2013)
PB  - Atlantis Press
SP  - 2040
EP  - 2043
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccsee.2013.513
DO  - 10.2991/iccsee.2013.513
ID  - Qu2013/03
ER  -