Commit graph

99 commits

Author SHA1 Message Date
David van Moolenbroek
b8b8f537bd IPC privileges fixes
Kernel:
o Remove s_ipc_sendrec, instead using s_ipc_to for all send primitives
o Centralize s_ipc_to bit manipulation,
  - disallowing assignment of bits pointing to unused priv structs;
  - preventing send-to-self by not setting bit for own priv struct;
  - preserving send mask matrix symmetry in all cases
o Add IPC send mask checks to SENDA, which were missing entirely somehow
o Slightly improve IPC stats accounting for SENDA
o Remove SYSTEM from user processes' send mask
o Half-fix the dependency between boot image order and process numbers,
  - correcting the table order of the boot processes;
  - documenting the order requirement needed for proper send masks;
  - warning at boot time if the order is violated

RS:
o Add support in /etc/drivers.conf for servers that talk to user processes,
  - disallowing IPC to user processes if no "ipc" field is present
  - adding a special "USER" label to explicitly allow IPC to user processes
o Always apply IPC masks when specified; remove -i flag from service(8)
o Use kernel send mask symmetry to delay adding IPC permissions for labels
  that do not exist yet, adding them to that label's process upon creation
o Add VM to ipc permissions list for rtl8139 and fxp in drivers.conf

Left to future fixes:
o Removal of the table order vs process numbers dependency altogether,
  possibly using per-process send list structures as used for SYSTEM calls
o Proper assignment of send masks to boot processes;
  some of the assigned (~0) masks are much wider than necessary
o Proper assignment of IPC send masks for many more servers in drivers.conf
o Removal of the debugging warning about the now legitimate case where RS's
  add_forward_ipc cannot find the IPC destination's label yet
2009-07-02 16:25:31 +00:00
Ben Gras
c078ec0331 Basic VM and other minor improvements.
Not complete, probably not fully debugged or optimized.
2008-11-19 12:26:10 +00:00
Ben Gras
9200a8a253 feature to display svn version on kernel boot 2007-04-12 15:13:10 +00:00
Ben Gras
fa0ba56bc9 Merge of VFS by Balasz Gerofi with Minix trunk. 2006-10-25 13:40:36 +00:00
Ben Gras
3172b4d0ad Patches by Jeff Bailey for posixifications. 2006-04-09 23:16:13 +00:00
Ben Gras
d9aad59630 bz2 2006-03-22 16:43:12 +00:00
Ben Gras
acdac1ec92 Don't choose FS by labels after all. 2006-03-13 08:47:05 +00:00
Ben Gras
6fe89cfbe8 Hack small and big fs into a single image. Must now set BIG or SMALL label. 2006-03-10 14:11:19 +00:00
Ben Gras
63e8494043 *** empty log message *** 2006-03-08 16:45:55 +00:00
Philip Homburg
7034c0795d Moved PCI driver to the ramdisk. 2006-02-15 14:21:56 +00:00
Philip Homburg
c3a88d15d8 Initial root filesystem is now on a ramdisk that is part of the image. 2006-02-15 11:18:21 +00:00
Philip Homburg
222fddd73a Added PCI driver 2005-12-02 14:47:20 +00:00
Jorrit Herder
cd582e02be *** empty log message *** 2005-10-31 12:21:52 +00:00
Jorrit Herder
78f20c3959 Rest ... 2005-10-21 13:46:47 +00:00
Ben Gras
12898c03e4 *** empty log message *** 2005-10-21 11:40:24 +00:00
Jorrit Herder
1058d49249 Updated Makefile for DS server. 2005-10-20 20:32:57 +00:00
Ben Gras
cc736e1456 *** empty log message *** 2005-09-08 16:32:44 +00:00
Ben Gras
2cf2a6a5ea *** empty log message *** 2005-08-30 17:40:08 +00:00
Ben Gras
40fc02f6f7 *** empty log message *** 2005-08-30 17:39:14 +00:00
Ben Gras
61a7f45a99 Can make image_small too 2005-08-29 19:59:58 +00:00
Ben Gras
a72050e805 Re-fixed makefile for release 2005-08-24 17:09:29 +00:00
Ben Gras
8a149da394 . Makefile fix to make releasing work again (drivers weren't built)
. release -c feature: copy instead of cvs export
2005-08-24 16:49:09 +00:00
Ben Gras
3b5ae428de Makefile fix.. image up-to-dateness 2005-08-24 12:58:35 +00:00
Jorrit Herder
b4d7de6ee1 New makefile (src/tools/Makefile) logic:
- make fresh install: still builds new everything (libraries, services, image)
- make clean image: only builds new boot image (about 5 sec. now!)
2005-08-23 12:53:35 +00:00
Jorrit Herder
10e4e98947 Renamed SM to RS (Reincarnation Server). 2005-08-23 11:28:16 +00:00
Ben Gras
4256d2d95b Added all target (for for /usr/src/Makefile master) 2005-08-22 12:38:22 +00:00
Ben Gras
7ec07219ed clean is cleaner 2005-08-12 12:48:24 +00:00
Jorrit Herder
e561081545 Miscellaneous clean ups and fixes to the kernel.
Support for FLOPPY in boot image. (Set controller=fd at boot monitor.)
Moved major device numbers to <minix/dmap.h> (maybe rename to dev.h?)
2005-08-04 09:26:36 +00:00
Jorrit Herder
89cf745fe2 Single boot driver loaded, while multiple can be included in the boot image.
The user needs to set label=... to choose the driver of his or her choice.
This driver will be mapped onto the controller that is set in controller=...

Minor cleanup of kernel source code (boot image table now is static).
2005-08-03 16:06:35 +00:00
Jorrit Herder
1ae4d41d0d Without /dev/boot ... 2005-08-03 14:17:28 +00:00
Jorrit Herder
375f6f8754 Miscellaneous cleanups. 2005-08-03 11:53:36 +00:00
Jorrit Herder
1d60e866c3 Various updates to support dynamically starting drivers. 2005-08-02 15:32:12 +00:00
Philip Homburg
49c25df569 bios_wini driver 2005-07-29 10:21:04 +00:00
Jorrit Herder
2bb508a71c Removed implicit call to 'make depend' on 'make install' ... 2005-07-26 12:51:35 +00:00
Ben Gras
42050e39f8 kernel and servers send diagnostic messages to IS; IS sends them to TTY
and the new log driver if enabled.

new usyslogd is started from /usr/etc/rc. New device created by
MAKEDEV.sh. /var/log created by etc/mtree/minix.tree (on root for
now). Made select() slightly more generic, with less code duplication.
2005-07-08 17:30:01 +00:00
Jorrit Herder
4fda4bbcb6 *** empty log message *** 2005-06-30 15:56:19 +00:00
Ben Gras
6be8c4d8a3 Import of dpeth 3c501/3c509b/.. ethernet driver by
Giovanni Falzoni <fgalzoni@inwind.it>.
2005-06-29 10:16:46 +00:00
Jorrit Herder
b25146d3de Removed SM server. 2005-06-27 08:11:46 +00:00
Jorrit Herder
fd3b5bf618 *** empty log message *** 2005-06-24 16:25:12 +00:00
Jorrit Herder
36c3091342 *** empty log message *** 2005-06-17 09:15:39 +00:00
Philip Homburg
129b82d207 Added fxp driver for the Intel Pro/100 series ethernet cards
Print PC in hex for easier debugging.
2005-05-19 13:27:05 +00:00
Jorrit Herder
1cb880b158 Intermediate update---please await next commit. 2005-05-19 09:36:44 +00:00
Jorrit Herder
49b86f3373 Fixed tick_delay; it now reschedules a previous synchronous alarm. 2005-05-13 09:33:53 +00:00
Jorrit Herder
fbe1641bd3 User-space networking!
- RTL8139 driver moved to user-space;
- PCI code moved to user-space;
Fixed IRQ hook dump at IS server.
2005-05-11 09:02:00 +00:00
Ben Gras
715274396f polish 2005-05-04 09:30:49 +00:00
Ben Gras
5415e8280f More polishing to the boot and release process. Highlights:
. Less dependency on scripts to be executable (they're in cvs)
	. issue.install is the /etc/issue that goes on an install CD
	  for instructions (but not on the installed system)
	. /usr/src goes on the CD uncompressed
2005-05-03 15:37:34 +00:00
Jorrit Herder
ac0995259d *** empty log message *** 2005-05-02 14:30:04 +00:00
Ben Gras
ec96454af3 Fixing make install and chroot make process; revision should not be part
of cvs
2005-04-22 16:16:23 +00:00
Ben Gras
9865aeaa79 Initial revision 2005-04-21 14:53:53 +00:00