18c2ecf20Sopenharmony_ci/* 28c2ecf20Sopenharmony_ci * Definitions and wrapper functions for kernel decompressor 38c2ecf20Sopenharmony_ci * 48c2ecf20Sopenharmony_ci * (C) 2017 Helge Deller <deller@gmx.de> 58c2ecf20Sopenharmony_ci */ 68c2ecf20Sopenharmony_ci 78c2ecf20Sopenharmony_ci#include <linux/uaccess.h> 88c2ecf20Sopenharmony_ci#include <linux/elf.h> 98c2ecf20Sopenharmony_ci#include <asm/unaligned.h> 108c2ecf20Sopenharmony_ci#include <asm/page.h> 118c2ecf20Sopenharmony_ci#include "sizes.h" 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ci/* 148c2ecf20Sopenharmony_ci * gzip declarations 158c2ecf20Sopenharmony_ci */ 168c2ecf20Sopenharmony_ci#define STATIC static 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci#undef memmove 198c2ecf20Sopenharmony_ci#define memmove memmove 208c2ecf20Sopenharmony_ci#define memzero(s, n) memset((s), 0, (n)) 218c2ecf20Sopenharmony_ci 228c2ecf20Sopenharmony_ci#define malloc malloc_gzip 238c2ecf20Sopenharmony_ci#define free free_gzip 248c2ecf20Sopenharmony_ci 258c2ecf20Sopenharmony_ci/* Symbols defined by linker scripts */ 268c2ecf20Sopenharmony_ciextern char input_data[]; 278c2ecf20Sopenharmony_ciextern int input_len; 288c2ecf20Sopenharmony_ci/* output_len is inserted by the linker possibly at an unaligned address */ 298c2ecf20Sopenharmony_ciextern __le32 output_len __aligned(1); 308c2ecf20Sopenharmony_ciextern char _text, _end; 318c2ecf20Sopenharmony_ciextern char _bss, _ebss; 328c2ecf20Sopenharmony_ciextern char _startcode_end; 338c2ecf20Sopenharmony_ciextern void startup_continue(void *entry, unsigned long cmdline, 348c2ecf20Sopenharmony_ci unsigned long rd_start, unsigned long rd_end) __noreturn; 358c2ecf20Sopenharmony_ci 368c2ecf20Sopenharmony_civoid error(char *m) __noreturn; 378c2ecf20Sopenharmony_ci 388c2ecf20Sopenharmony_cistatic unsigned long free_mem_ptr; 398c2ecf20Sopenharmony_cistatic unsigned long free_mem_end_ptr; 408c2ecf20Sopenharmony_ci 418c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_GZIP 428c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_inflate.c" 438c2ecf20Sopenharmony_ci#endif 448c2ecf20Sopenharmony_ci 458c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_BZIP2 468c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_bunzip2.c" 478c2ecf20Sopenharmony_ci#endif 488c2ecf20Sopenharmony_ci 498c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_LZ4 508c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_unlz4.c" 518c2ecf20Sopenharmony_ci#endif 528c2ecf20Sopenharmony_ci 538c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_LZMA 548c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_unlzma.c" 558c2ecf20Sopenharmony_ci#endif 568c2ecf20Sopenharmony_ci 578c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_LZO 588c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_unlzo.c" 598c2ecf20Sopenharmony_ci#endif 608c2ecf20Sopenharmony_ci 618c2ecf20Sopenharmony_ci#ifdef CONFIG_KERNEL_XZ 628c2ecf20Sopenharmony_ci#include "../../../../lib/decompress_unxz.c" 638c2ecf20Sopenharmony_ci#endif 648c2ecf20Sopenharmony_ci 658c2ecf20Sopenharmony_civoid *memmove(void *dest, const void *src, size_t n) 668c2ecf20Sopenharmony_ci{ 678c2ecf20Sopenharmony_ci const char *s = src; 688c2ecf20Sopenharmony_ci char *d = dest; 698c2ecf20Sopenharmony_ci 708c2ecf20Sopenharmony_ci if (d <= s) { 718c2ecf20Sopenharmony_ci while (n--) 728c2ecf20Sopenharmony_ci *d++ = *s++; 738c2ecf20Sopenharmony_ci } else { 748c2ecf20Sopenharmony_ci d += n; 758c2ecf20Sopenharmony_ci s += n; 768c2ecf20Sopenharmony_ci while (n--) 778c2ecf20Sopenharmony_ci *--d = *--s; 788c2ecf20Sopenharmony_ci } 798c2ecf20Sopenharmony_ci return dest; 808c2ecf20Sopenharmony_ci} 818c2ecf20Sopenharmony_ci 828c2ecf20Sopenharmony_civoid *memset(void *s, int c, size_t count) 838c2ecf20Sopenharmony_ci{ 848c2ecf20Sopenharmony_ci char *xs = (char *)s; 858c2ecf20Sopenharmony_ci 868c2ecf20Sopenharmony_ci while (count--) 878c2ecf20Sopenharmony_ci *xs++ = c; 888c2ecf20Sopenharmony_ci return s; 898c2ecf20Sopenharmony_ci} 908c2ecf20Sopenharmony_ci 918c2ecf20Sopenharmony_civoid *memcpy(void *d, const void *s, size_t len) 928c2ecf20Sopenharmony_ci{ 938c2ecf20Sopenharmony_ci char *dest = (char *)d; 948c2ecf20Sopenharmony_ci const char *source = (const char *)s; 958c2ecf20Sopenharmony_ci 968c2ecf20Sopenharmony_ci while (len--) 978c2ecf20Sopenharmony_ci *dest++ = *source++; 988c2ecf20Sopenharmony_ci return d; 998c2ecf20Sopenharmony_ci} 1008c2ecf20Sopenharmony_ci 1018c2ecf20Sopenharmony_cisize_t strlen(const char *s) 1028c2ecf20Sopenharmony_ci{ 1038c2ecf20Sopenharmony_ci const char *sc; 1048c2ecf20Sopenharmony_ci 1058c2ecf20Sopenharmony_ci for (sc = s; *sc != '\0'; ++sc) 1068c2ecf20Sopenharmony_ci ; 1078c2ecf20Sopenharmony_ci return sc - s; 1088c2ecf20Sopenharmony_ci} 1098c2ecf20Sopenharmony_ci 1108c2ecf20Sopenharmony_cichar *strchr(const char *s, int c) 1118c2ecf20Sopenharmony_ci{ 1128c2ecf20Sopenharmony_ci while (*s) { 1138c2ecf20Sopenharmony_ci if (*s == (char)c) 1148c2ecf20Sopenharmony_ci return (char *)s; 1158c2ecf20Sopenharmony_ci ++s; 1168c2ecf20Sopenharmony_ci } 1178c2ecf20Sopenharmony_ci return NULL; 1188c2ecf20Sopenharmony_ci} 1198c2ecf20Sopenharmony_ci 1208c2ecf20Sopenharmony_ciint puts(const char *s) 1218c2ecf20Sopenharmony_ci{ 1228c2ecf20Sopenharmony_ci const char *nuline = s; 1238c2ecf20Sopenharmony_ci 1248c2ecf20Sopenharmony_ci while ((nuline = strchr(s, '\n')) != NULL) { 1258c2ecf20Sopenharmony_ci if (nuline != s) 1268c2ecf20Sopenharmony_ci pdc_iodc_print(s, nuline - s); 1278c2ecf20Sopenharmony_ci pdc_iodc_print("\r\n", 2); 1288c2ecf20Sopenharmony_ci s = nuline + 1; 1298c2ecf20Sopenharmony_ci } 1308c2ecf20Sopenharmony_ci if (*s != '\0') 1318c2ecf20Sopenharmony_ci pdc_iodc_print(s, strlen(s)); 1328c2ecf20Sopenharmony_ci 1338c2ecf20Sopenharmony_ci return 0; 1348c2ecf20Sopenharmony_ci} 1358c2ecf20Sopenharmony_ci 1368c2ecf20Sopenharmony_cistatic int putchar(int c) 1378c2ecf20Sopenharmony_ci{ 1388c2ecf20Sopenharmony_ci char buf[2]; 1398c2ecf20Sopenharmony_ci 1408c2ecf20Sopenharmony_ci buf[0] = c; 1418c2ecf20Sopenharmony_ci buf[1] = '\0'; 1428c2ecf20Sopenharmony_ci puts(buf); 1438c2ecf20Sopenharmony_ci return c; 1448c2ecf20Sopenharmony_ci} 1458c2ecf20Sopenharmony_ci 1468c2ecf20Sopenharmony_civoid __noreturn error(char *x) 1478c2ecf20Sopenharmony_ci{ 1488c2ecf20Sopenharmony_ci if (x) puts(x); 1498c2ecf20Sopenharmony_ci puts("\n -- System halted\n"); 1508c2ecf20Sopenharmony_ci while (1) /* wait forever */ 1518c2ecf20Sopenharmony_ci ; 1528c2ecf20Sopenharmony_ci} 1538c2ecf20Sopenharmony_ci 1548c2ecf20Sopenharmony_cistatic int print_num(unsigned long num, int base) 1558c2ecf20Sopenharmony_ci{ 1568c2ecf20Sopenharmony_ci const char hex[] = "0123456789abcdef"; 1578c2ecf20Sopenharmony_ci char str[40]; 1588c2ecf20Sopenharmony_ci int i = sizeof(str)-1; 1598c2ecf20Sopenharmony_ci 1608c2ecf20Sopenharmony_ci str[i--] = '\0'; 1618c2ecf20Sopenharmony_ci do { 1628c2ecf20Sopenharmony_ci str[i--] = hex[num % base]; 1638c2ecf20Sopenharmony_ci num = num / base; 1648c2ecf20Sopenharmony_ci } while (num); 1658c2ecf20Sopenharmony_ci 1668c2ecf20Sopenharmony_ci if (base == 16) { 1678c2ecf20Sopenharmony_ci str[i--] = 'x'; 1688c2ecf20Sopenharmony_ci str[i] = '0'; 1698c2ecf20Sopenharmony_ci } else i++; 1708c2ecf20Sopenharmony_ci puts(&str[i]); 1718c2ecf20Sopenharmony_ci 1728c2ecf20Sopenharmony_ci return 0; 1738c2ecf20Sopenharmony_ci} 1748c2ecf20Sopenharmony_ci 1758c2ecf20Sopenharmony_ciint printf(const char *fmt, ...) 1768c2ecf20Sopenharmony_ci{ 1778c2ecf20Sopenharmony_ci va_list args; 1788c2ecf20Sopenharmony_ci int i = 0; 1798c2ecf20Sopenharmony_ci 1808c2ecf20Sopenharmony_ci va_start(args, fmt); 1818c2ecf20Sopenharmony_ci 1828c2ecf20Sopenharmony_ci while (fmt[i]) { 1838c2ecf20Sopenharmony_ci if (fmt[i] != '%') { 1848c2ecf20Sopenharmony_ciput: 1858c2ecf20Sopenharmony_ci putchar(fmt[i++]); 1868c2ecf20Sopenharmony_ci continue; 1878c2ecf20Sopenharmony_ci } 1888c2ecf20Sopenharmony_ci 1898c2ecf20Sopenharmony_ci if (fmt[++i] == '%') 1908c2ecf20Sopenharmony_ci goto put; 1918c2ecf20Sopenharmony_ci print_num(va_arg(args, unsigned long), 1928c2ecf20Sopenharmony_ci fmt[i] == 'x' ? 16:10); 1938c2ecf20Sopenharmony_ci ++i; 1948c2ecf20Sopenharmony_ci } 1958c2ecf20Sopenharmony_ci 1968c2ecf20Sopenharmony_ci va_end(args); 1978c2ecf20Sopenharmony_ci return 0; 1988c2ecf20Sopenharmony_ci} 1998c2ecf20Sopenharmony_ci 2008c2ecf20Sopenharmony_ci/* helper functions for libgcc */ 2018c2ecf20Sopenharmony_civoid abort(void) 2028c2ecf20Sopenharmony_ci{ 2038c2ecf20Sopenharmony_ci error("aborted."); 2048c2ecf20Sopenharmony_ci} 2058c2ecf20Sopenharmony_ci 2068c2ecf20Sopenharmony_ci#undef malloc 2078c2ecf20Sopenharmony_civoid *malloc(size_t size) 2088c2ecf20Sopenharmony_ci{ 2098c2ecf20Sopenharmony_ci return malloc_gzip(size); 2108c2ecf20Sopenharmony_ci} 2118c2ecf20Sopenharmony_ci 2128c2ecf20Sopenharmony_ci#undef free 2138c2ecf20Sopenharmony_civoid free(void *ptr) 2148c2ecf20Sopenharmony_ci{ 2158c2ecf20Sopenharmony_ci return free_gzip(ptr); 2168c2ecf20Sopenharmony_ci} 2178c2ecf20Sopenharmony_ci 2188c2ecf20Sopenharmony_ci 2198c2ecf20Sopenharmony_cistatic void flush_data_cache(char *start, unsigned long length) 2208c2ecf20Sopenharmony_ci{ 2218c2ecf20Sopenharmony_ci char *end = start + length; 2228c2ecf20Sopenharmony_ci 2238c2ecf20Sopenharmony_ci do { 2248c2ecf20Sopenharmony_ci asm volatile("fdc 0(%0)" : : "r" (start)); 2258c2ecf20Sopenharmony_ci asm volatile("fic 0(%%sr0,%0)" : : "r" (start)); 2268c2ecf20Sopenharmony_ci start += 16; 2278c2ecf20Sopenharmony_ci } while (start < end); 2288c2ecf20Sopenharmony_ci asm volatile("fdc 0(%0)" : : "r" (end)); 2298c2ecf20Sopenharmony_ci 2308c2ecf20Sopenharmony_ci asm ("sync"); 2318c2ecf20Sopenharmony_ci} 2328c2ecf20Sopenharmony_ci 2338c2ecf20Sopenharmony_cistatic void parse_elf(void *output) 2348c2ecf20Sopenharmony_ci{ 2358c2ecf20Sopenharmony_ci#ifdef CONFIG_64BIT 2368c2ecf20Sopenharmony_ci Elf64_Ehdr ehdr; 2378c2ecf20Sopenharmony_ci Elf64_Phdr *phdrs, *phdr; 2388c2ecf20Sopenharmony_ci#else 2398c2ecf20Sopenharmony_ci Elf32_Ehdr ehdr; 2408c2ecf20Sopenharmony_ci Elf32_Phdr *phdrs, *phdr; 2418c2ecf20Sopenharmony_ci#endif 2428c2ecf20Sopenharmony_ci void *dest; 2438c2ecf20Sopenharmony_ci int i; 2448c2ecf20Sopenharmony_ci 2458c2ecf20Sopenharmony_ci memcpy(&ehdr, output, sizeof(ehdr)); 2468c2ecf20Sopenharmony_ci if (ehdr.e_ident[EI_MAG0] != ELFMAG0 || 2478c2ecf20Sopenharmony_ci ehdr.e_ident[EI_MAG1] != ELFMAG1 || 2488c2ecf20Sopenharmony_ci ehdr.e_ident[EI_MAG2] != ELFMAG2 || 2498c2ecf20Sopenharmony_ci ehdr.e_ident[EI_MAG3] != ELFMAG3) { 2508c2ecf20Sopenharmony_ci error("Kernel is not a valid ELF file"); 2518c2ecf20Sopenharmony_ci return; 2528c2ecf20Sopenharmony_ci } 2538c2ecf20Sopenharmony_ci 2548c2ecf20Sopenharmony_ci#ifdef DEBUG 2558c2ecf20Sopenharmony_ci printf("Parsing ELF... "); 2568c2ecf20Sopenharmony_ci#endif 2578c2ecf20Sopenharmony_ci 2588c2ecf20Sopenharmony_ci phdrs = malloc(sizeof(*phdrs) * ehdr.e_phnum); 2598c2ecf20Sopenharmony_ci if (!phdrs) 2608c2ecf20Sopenharmony_ci error("Failed to allocate space for phdrs"); 2618c2ecf20Sopenharmony_ci 2628c2ecf20Sopenharmony_ci memcpy(phdrs, output + ehdr.e_phoff, sizeof(*phdrs) * ehdr.e_phnum); 2638c2ecf20Sopenharmony_ci 2648c2ecf20Sopenharmony_ci for (i = 0; i < ehdr.e_phnum; i++) { 2658c2ecf20Sopenharmony_ci phdr = &phdrs[i]; 2668c2ecf20Sopenharmony_ci 2678c2ecf20Sopenharmony_ci switch (phdr->p_type) { 2688c2ecf20Sopenharmony_ci case PT_LOAD: 2698c2ecf20Sopenharmony_ci dest = (void *)((unsigned long) phdr->p_paddr & 2708c2ecf20Sopenharmony_ci (__PAGE_OFFSET_DEFAULT-1)); 2718c2ecf20Sopenharmony_ci memmove(dest, output + phdr->p_offset, phdr->p_filesz); 2728c2ecf20Sopenharmony_ci break; 2738c2ecf20Sopenharmony_ci default: 2748c2ecf20Sopenharmony_ci break; 2758c2ecf20Sopenharmony_ci } 2768c2ecf20Sopenharmony_ci } 2778c2ecf20Sopenharmony_ci 2788c2ecf20Sopenharmony_ci free(phdrs); 2798c2ecf20Sopenharmony_ci} 2808c2ecf20Sopenharmony_ci 2818c2ecf20Sopenharmony_ciunsigned long decompress_kernel(unsigned int started_wide, 2828c2ecf20Sopenharmony_ci unsigned int command_line, 2838c2ecf20Sopenharmony_ci const unsigned int rd_start, 2848c2ecf20Sopenharmony_ci const unsigned int rd_end) 2858c2ecf20Sopenharmony_ci{ 2868c2ecf20Sopenharmony_ci char *output; 2878c2ecf20Sopenharmony_ci unsigned long vmlinux_addr, vmlinux_len; 2888c2ecf20Sopenharmony_ci unsigned long kernel_addr, kernel_len; 2898c2ecf20Sopenharmony_ci 2908c2ecf20Sopenharmony_ci#ifdef CONFIG_64BIT 2918c2ecf20Sopenharmony_ci parisc_narrow_firmware = 0; 2928c2ecf20Sopenharmony_ci#endif 2938c2ecf20Sopenharmony_ci 2948c2ecf20Sopenharmony_ci set_firmware_width_unlocked(); 2958c2ecf20Sopenharmony_ci 2968c2ecf20Sopenharmony_ci putchar('D'); /* if you get this D and no more, string storage */ 2978c2ecf20Sopenharmony_ci /* in $GLOBAL$ is wrong or %dp is wrong */ 2988c2ecf20Sopenharmony_ci puts("ecompressing Linux... "); 2998c2ecf20Sopenharmony_ci 3008c2ecf20Sopenharmony_ci /* where the final bits are stored */ 3018c2ecf20Sopenharmony_ci kernel_addr = KERNEL_BINARY_TEXT_START; 3028c2ecf20Sopenharmony_ci kernel_len = __pa(SZ_end) - __pa(SZparisc_kernel_start); 3038c2ecf20Sopenharmony_ci if ((unsigned long) &_startcode_end > kernel_addr) 3048c2ecf20Sopenharmony_ci error("Bootcode overlaps kernel code"); 3058c2ecf20Sopenharmony_ci 3068c2ecf20Sopenharmony_ci /* 3078c2ecf20Sopenharmony_ci * Calculate addr to where the vmlinux ELF file shall be decompressed. 3088c2ecf20Sopenharmony_ci * Assembly code in head.S positioned the stack directly behind bss, so 3098c2ecf20Sopenharmony_ci * leave 2 MB for the stack. 3108c2ecf20Sopenharmony_ci */ 3118c2ecf20Sopenharmony_ci vmlinux_addr = (unsigned long) &_ebss + 2*1024*1024; 3128c2ecf20Sopenharmony_ci vmlinux_len = get_unaligned_le32(&output_len); 3138c2ecf20Sopenharmony_ci output = (char *) vmlinux_addr; 3148c2ecf20Sopenharmony_ci 3158c2ecf20Sopenharmony_ci /* 3168c2ecf20Sopenharmony_ci * Initialize free_mem_ptr and free_mem_end_ptr. 3178c2ecf20Sopenharmony_ci */ 3188c2ecf20Sopenharmony_ci free_mem_ptr = vmlinux_addr + vmlinux_len; 3198c2ecf20Sopenharmony_ci 3208c2ecf20Sopenharmony_ci /* Limit memory for bootoader to 1GB */ 3218c2ecf20Sopenharmony_ci #define ARTIFICIAL_LIMIT (1*1024*1024*1024) 3228c2ecf20Sopenharmony_ci free_mem_end_ptr = PAGE0->imm_max_mem; 3238c2ecf20Sopenharmony_ci if (free_mem_end_ptr > ARTIFICIAL_LIMIT) 3248c2ecf20Sopenharmony_ci free_mem_end_ptr = ARTIFICIAL_LIMIT; 3258c2ecf20Sopenharmony_ci 3268c2ecf20Sopenharmony_ci#ifdef CONFIG_BLK_DEV_INITRD 3278c2ecf20Sopenharmony_ci /* if we have ramdisk this is at end of memory */ 3288c2ecf20Sopenharmony_ci if (rd_start && rd_start < free_mem_end_ptr) 3298c2ecf20Sopenharmony_ci free_mem_end_ptr = rd_start; 3308c2ecf20Sopenharmony_ci#endif 3318c2ecf20Sopenharmony_ci 3328c2ecf20Sopenharmony_ci if (free_mem_ptr >= free_mem_end_ptr) { 3338c2ecf20Sopenharmony_ci int free_ram; 3348c2ecf20Sopenharmony_ci free_ram = (free_mem_ptr >> 20) + 1; 3358c2ecf20Sopenharmony_ci if (free_ram < 32) 3368c2ecf20Sopenharmony_ci free_ram = 32; 3378c2ecf20Sopenharmony_ci printf("\nKernel requires at least %d MB RAM.\n", 3388c2ecf20Sopenharmony_ci free_ram); 3398c2ecf20Sopenharmony_ci error(NULL); 3408c2ecf20Sopenharmony_ci } 3418c2ecf20Sopenharmony_ci 3428c2ecf20Sopenharmony_ci#ifdef DEBUG 3438c2ecf20Sopenharmony_ci printf("\n"); 3448c2ecf20Sopenharmony_ci printf("startcode_end = %x\n", &_startcode_end); 3458c2ecf20Sopenharmony_ci printf("commandline = %x\n", command_line); 3468c2ecf20Sopenharmony_ci printf("rd_start = %x\n", rd_start); 3478c2ecf20Sopenharmony_ci printf("rd_end = %x\n", rd_end); 3488c2ecf20Sopenharmony_ci 3498c2ecf20Sopenharmony_ci printf("free_ptr = %x\n", free_mem_ptr); 3508c2ecf20Sopenharmony_ci printf("free_ptr_end = %x\n", free_mem_end_ptr); 3518c2ecf20Sopenharmony_ci 3528c2ecf20Sopenharmony_ci printf("input_data = %x\n", input_data); 3538c2ecf20Sopenharmony_ci printf("input_len = %x\n", input_len); 3548c2ecf20Sopenharmony_ci printf("output = %x\n", output); 3558c2ecf20Sopenharmony_ci printf("output_len = %x\n", vmlinux_len); 3568c2ecf20Sopenharmony_ci printf("kernel_addr = %x\n", kernel_addr); 3578c2ecf20Sopenharmony_ci printf("kernel_len = %x\n", kernel_len); 3588c2ecf20Sopenharmony_ci#endif 3598c2ecf20Sopenharmony_ci 3608c2ecf20Sopenharmony_ci __decompress(input_data, input_len, NULL, NULL, 3618c2ecf20Sopenharmony_ci output, 0, NULL, error); 3628c2ecf20Sopenharmony_ci parse_elf(output); 3638c2ecf20Sopenharmony_ci 3648c2ecf20Sopenharmony_ci output = (char *) kernel_addr; 3658c2ecf20Sopenharmony_ci flush_data_cache(output, kernel_len); 3668c2ecf20Sopenharmony_ci 3678c2ecf20Sopenharmony_ci printf("done.\nBooting the kernel.\n"); 3688c2ecf20Sopenharmony_ci 3698c2ecf20Sopenharmony_ci return (unsigned long) output; 3708c2ecf20Sopenharmony_ci} 371