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

pulseaudio: add some config_files
author Richard Dunbar <mojo@slitaz.org>
date Thu Mar 28 17:43:17 2019 -0400 (2019-03-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