CS320S Mini Project

1
CS320S - Mini Project

• Final Presentation
• by
• Anant Chaudhary
• Vishal Grover

2
Automated Kernel Synthesis

• Objective Develop a tool for the automated
  synthesis of Custom Kernel Library from a given
  application and Kernel Specification

3
Scope of the project

• Project was aimed at developing to automate the
  customization of kernel developed earlier as part
  of ES Project, for use by a particular
  application, depending on which part of the
  kernel is required by that application
• The platforms supported are Intel x86 and Trimedia

4
Embedded Systems Design Flow
5
Kernel Specifications
Application Specifications
Object File deps
Application Source Code
Syscall deps
Conditional code deps
Custom Synthesis tool
Customized Library
Tool Specification
6
Input Specifications

• Provided by Kernel Developer 1. Dependencies of
  the syscalls on each other - determines
  which syscalls need to be included 2. Dependency
  of syscalls on the object files - to
  determine which of the object files are to be
  finally generated 3. Conditional code, for
  each syscall - to be included in the
  custom header file specified by Application
  Developer
• Provided by Application Developer The
  application object files

7
Output Specifications

• The tool generates a customized kernel library
  librtker.a which can then be linked to the
  application object files to produce a final
  bootable binary.

8
HOW TO

• Get list of application source files in a file -
  list_file
• Run Genmfusage genmf ltplatformgt ltlist_filegt
• Link the custom library librtker.a to
  application using
• Create boot image using the tool supplied with
  oskit

Detailed HOW TO in tool documentation
9
Work Done

• Studied the Report of Gokul and Vivek on their
  BTP
• Understood the process of kernel synthesis
• Manually compiled and tested the existing
  kernels.
• Coded the tool Genmf
• Tested the boot image generated by the tool Genmf
  for Intel platform