Course title: OS and Modules for Embedded Systems
Number of credits (ECTS): 6
Weekly number of classes: 2+2+1+0
Prerequisite for enrollment of the subject: None
Course Goals (acquired competencies): Working with dedicated devices (Raspberry Pi), installing an operating system, file system, drivers. Upon completion, the students will be able to compile drivers and kernels for non-standard processor architecture (ARM) from source to executable.
Total available number of classes: 180
Course Syllabus: Introduction to Embedded Operating Systems. Linux kernel. Libraries and Makefiles. Program organization in multiple files. Writing custom libraries. Concept of Shared Libraries. Static and dynamic compilation and linking. Migrating from GP system to embedded system. The concept of Bootloader. Defining the Toolchain for compilation in GP systems. Resource management. Compilation using Toolchain. Compiling programs for different architectures. Introduction to embedded hardware. Introduction to the Raspberry Pi hardware. Setting up working environment for embedded systems. Downloading packages and software tools. Cross-platform compilation. Compiling on a GP machine for an embedded system. Compiling the Linux kernel for GP and embedded systems. Compiling programs for embedded systems. Starting up embedded systems. File system (RootFS). Using an appropriate file system. Drivers (modules) for embedded systems.
|Colin Walls||Embedded Software, Second Edition: The Works||Newnes||2012|
|Christopher Hallinan||Embedded Linux Primer: A Practical Real-World Approach, 2nd Ed.||Prentice Hall||2010|
|K. Yaghmour, J. Masters, G. Ben-Yossef, P. Gerum||Building Embedded Linux Systems: Concepts, Techniques, Tricks, and Traps, 2nd Ed.||O’Reilly||2008|
|David Simon||An Embedded software primer||Addison-Wesley||2003|
|J. McKellar, A. Rubini, J. Corbet, G. Kroah-Hartman||Linux Device Drivers, 4th Ed.||O’Reilly Media;||2014|