/* Define constants for use in readker and writeker.c */

#define SECT_START 6 // The sector where the "stack" is located on track 0
#define NUM_SECT 4 // The length of the "stack" - # of sectors
#define SECT_SIZE 512 // The size of each sector in BYTES

#define GAPSIZE 4 //This parameter is needed only while creating the "stack"
#define BUFSIZE (SECT_SIZE*NUM_SECT) // Size of the buffer to store the "stack"

/*
 * Buffer to hold the "stack". Experimentation suggests
 * that 200 Bytes is enough to store the name of about
 * 10 kernels, So 512 bytes is more than enough.
 *
 * Since we not only store the name of the kernels but also the
 * boot time arguments which needs to be passed to them, I have set 
 * it to 4 sectors. 
 *
 */