58 lines
2.2 KiB
Plaintext
58 lines
2.2 KiB
Plaintext
/*
|
|
* This file is part of Jehanne.
|
|
*
|
|
* Copyright (C) 2022 Giacomo Tesio <giacomo@tesio.it>
|
|
*
|
|
* Jehanne is free software: you can redistribute it and/or modify
|
|
* it under the terms of the GNU General Public License as published by
|
|
* the Free Software Foundation, version 3 of the License.
|
|
*
|
|
* Jehanne is distributed in the hope that it will be useful,
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
* GNU General Public License for more details.
|
|
*
|
|
* You should have received a copy of the GNU General Public License
|
|
* along with Jehanne. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
/* automatically generated by /sys/src/kern/build/inith.rc.template */
|
|
#! fn base10 {
|
|
#! seq -f%0.0f $1 $1
|
|
#! }
|
|
#! CODE=`{$READELF -W -l init|grep LOAD|sed 's/R E/R_E/'|grep R_E}
|
|
#! CODE_START=`{base10 $CODE(3)}
|
|
|
|
int init_code_start = $CODE_START;
|
|
int init_code_end = $CODE_START + $CODE(6);
|
|
int init_code_len = $CODE(6);
|
|
uint8_t init_code_out[] = {
|
|
#! hexdump -s $CODE(2) -n $CODE(5) -v \
|
|
#! -e '1/1 " 0x%02x, " 6/1 "0x%02x, " 1/1 " 0x%02x,\n"' \
|
|
#! init | sed '$s/0x ,//g'
|
|
};
|
|
|
|
#! DATA=`{$READELF -W -l init|grep LOAD|grep RW}
|
|
#! PAGE_SIZE=`{base10 $DATA(8)}
|
|
#! DATA_START=`{base10 $DATA(3)}
|
|
#! DATA_PAGE_START=`{echo $DATA_START d $PAGE_SIZE '%-p'|dc}
|
|
#! DATA_FILE_START=`{base10 $DATA(2)}
|
|
#! DATA_PADDING=`{echo $DATA_START $DATA_PAGE_START '-p'|dc}
|
|
#! DATA_MEM_LENGTH=`{base10 $DATA(6)}
|
|
#! DATA_MEM_LENGTH=`{echo $DATA_MEM_LENGTH $DATA_PADDING '+p'|dc}
|
|
#! DATA_FILE_LENGTH=`{base10 $DATA(5)}
|
|
#! TRAILING_ZEROS=`{echo `{base10 $DATA(6)} `{base10 $DATA(5)} '-p'|dc}
|
|
int init_data_start = $DATA_PAGE_START;
|
|
int init_data_end = $DATA_PAGE_START + $DATA_MEM_LENGTH;
|
|
int init_data_len = $DATA_MEM_LENGTH;
|
|
uint8_t init_data_out[] = {
|
|
#! hexdump -n $DATA_PADDING -v \
|
|
#! -e '1/1 " 0x%02x, " 6/1 "0x%02x, " 1/1 " 0x%02x,\n"' \
|
|
#! /dev/zero | sed '$s/ 0x ,//g'
|
|
#! hexdump -s $DATA_FILE_START -n $DATA_FILE_LENGTH -v \
|
|
#! -e '1/1 " 0x%02x, " 6/1 "0x%02x, " 1/1 " 0x%02x,\n"' \
|
|
#! init | sed '$s/ 0x ,//g'
|
|
#! hexdump -n $TRAILING_ZEROS -v \
|
|
#! -e '1/1 " 0x%02x, " 6/1 "0x%02x, " 1/1 " 0x%02x,\n"' \
|
|
#! /dev/zero | sed '$s/ 0x ,//g'
|
|
};
|