gen_idt: Update file description section

Change-Id: Ice0c88228f5d79404277502f68594db91058344b
Signed-off-by: Peter Mitsis <peter.mitsis@windriver.com>
This commit is contained in:
Peter Mitsis 2015-10-05 16:09:35 -04:00 committed by Anas Nashif
commit b8780c7813

View file

@ -1,5 +1,3 @@
/* genIdt.c - Create static IDT */
/*
* Copyright (c) 2012-2014 Wind River Systems, Inc.
*
@ -30,21 +28,22 @@
* POSSIBILITY OF SUCH DAMAGE.
*/
/*
DESCRIPTION
Creates a static IA-32 Interrupt Descriptor Table (IDT).
This program expects to be invoked as follows:
genIdt <file name> <number of interrupt vectors>
All parameters are required.
<file name> is assumed to be a binary file containing the intList section from
the Zephyr Kernel ELF image (microkernel.elf, nanokernel.elf, etc.)
<number of interrupt vectors> is the same as CONFIG_IDT_NUM_VECTORS.
No help on usage is provided as it is expected that this program is invoked
from within the build system during the link stage.
/**
* @file
* @brief Create static IDT
* Creates a static IA-32 Interrupt Descriptor Table (IDT).
*
* This program expects to be invoked as follows:
* gen_idt -i <input file> -o <output file> -n <number of interrupt vectors>
* All parameters are required.
*
* The <input file> is assumed to be a binary file containing the intList
* section from the Zephyr Kernel ELF image.
*
* <number of interrupt vectors> is the same as CONFIG_IDT_NUM_VECTORS.
*
* It is expected that this program is invoked from within the build system
* during the link stage.
*/
#include <stdio.h>