Lin, Ryan wrote: > If we add aligned(4) to the define as the following : > > #define BOOT_STATE_INIT_ATTR __attribute__ ((used, aligned(4), section (".bs_init))) > > We can get 4-byte alignment for .bs_init. > > What is your thoughts on this? Is that a GCC extension? The coreboot codebase also supports other compilers. //Peter