n -= r;
}
- printf("Prepended data file (%u bytes) with a.out header.\n", total_size);
+ printf("Prepended data file (%u bytes) with a.out header (%u bytes).\n",
+ total_size, sizeof(aout));
printf("Done.\n");
return(0);
# define GET_KENV 5 /* get kernel environment string */
# define GET_IRQHOOKS 6 /* get the IRQ table */
# define GET_KMESSAGES 7 /* get kernel messages */
-# define GET_MEMCHUNKS 8 /* get base+size of mem chunks */
+
# define GET_KADDRESSES 9 /* get various kernel addresses */
# define GET_SCHEDINFO 10 /* get scheduling queues */
# define GET_PROC 11 /* get process slot if given process */
/* Minix release and version numbers. */
#define OS_RELEASE "3"
-#define OS_VERSION "0.5"
+#define OS_VERSION "0.6"
/* This file sets configuration parameters for the MINIX kernel, FS, and PM.
* It is divided up into two main sections. The first section contains
#define ENABLE_K_DEBUGGING 0 /* kernel debugging calls */
/* Include or exclude an image of /dev/boot in the boot image. */
-#define ENABLE_BOOTDEV 1
+#define ENABLE_BOOTDEV 0
/* Include or exclude device drivers. Set to 1 to include, 0 to exclude. */
#define ENABLE_BIOS_WINI 0 /* enable BIOS winchester driver */
#define sys_getrandomness(dst) sys_getinfo(GET_RANDOMNESS, dst, 0,0,0)
#define sys_getimage(dst) sys_getinfo(GET_IMAGE, dst, 0,0,0)
#define sys_getirqhooks(dst) sys_getinfo(GET_IRQHOOKS, dst, 0,0,0)
-#define sys_getmemchunks(dst) sys_getinfo(GET_MEMCHUNKS, dst, 0,0,0)
#define sys_getmonparams(v,vl) sys_getinfo(GET_MONPARAMS, v,vl, 0,0)
#define sys_getschedinfo(v1,v2) sys_getinfo(GET_SCHEDINFO, v1,0, v2,0)
#define sys_getlocktimings(dst) sys_getinfo(GET_LOCKTIMING, dst, 0,0,0)
phys_bytes kmem_size;
phys_bytes bootdev_base; /* boot device from boot image (/dev/boot) */
phys_bytes bootdev_size;
+ phys_bytes bootdev_mem;
phys_bytes params_base; /* parameters passed by boot monitor */
phys_bytes params_size;
int nr_procs; /* number of user processes */
int nr_tasks; /* number of kernel tasks */
- char version[8]; /* kernel version number */
+ char release[4]; /* kernel release number */
+ char version[4]; /* kernel version number */
};
struct machine {
/* Kernel controls. */
#define SYSSENDMASK _IO ('S', 4)
#define SYSSIGNON _IOR('S', 2, struct systaskinfo)
-#define SYSGETENV _IOW('S', 5, struct sysgetenv)
+#define SYSGETENV _IOW('S', 1, struct sysgetenv)
struct mmswapon {
u32_t offset; /* Starting offset within file. */
char file[128]; /* Name of swap file/device. */
};
-/* TEMP!!! A proper system call must be created later. */
+/* A proper system call must be created later. */
#include "/usr/src/servers/fs/dmap.h"
struct fssignon {
dev_t dev; /* Device to manage. */
../drivers/rtl8139/rtl8139 \
../drivers/fxp/fxp \
../servers/init/init \
- #bootfs.img
+# bootdev.img
usage:
@echo " " >&2