#include "u.h"#include "../port/lib.h"#include "mem.h"#include "dat.h"#include "fns.h"#include "io.h"#include "../port/error.h" extern uchar bootpc_outcode[];extern ulong bootpc_outlen;extern uchar _386_bin_ip_ipconfigcode[];extern ulong _386_bin_ip_ipconfiglen;extern uchar _386_bin_auth_factotumcode[];extern ulong _386_bin_auth_factotumlen;extern uchar _386_bin_usb_usbdcode[];extern ulong _386_bin_usb_usbdlen; void bootlinks(void){ 	addbootfile("boot", bootpc_outcode, bootpc_outlen);	addbootfile("ipconfig", _386_bin_ip_ipconfigcode, _386_bin_ip_ipconfiglen);	addbootfile("factotum", _386_bin_auth_factotumcode, _386_bin_auth_factotumlen);	addbootfile("usbd", _386_bin_usb_usbdcode, _386_bin_usb_usbdlen); }