wok view syslinux/stuff/iso2exe/bootlinux.h @ rev 22805

updated gawk (4.2.1 -> 5.0.1)
author Hans-G?nter Theisgen
date Tue Jan 28 10:03:39 2020 +0100 (2020-01-28)
parents 65b3fd0022ed
children
line source
1 #ifndef __BOOTLINUX_H
2 #define __BOOTLINUX_H
3 extern unsigned long loadkernel(void);
4 extern void loadinitrd(void);
5 extern void bootlinux(char *cmdline);
6 #endif