INSTALL_TINY revision 1.153
1#	$NetBSD: INSTALL_TINY,v 1.153 2017/08/09 18:45:30 maxv Exp $
2#
3#	This kernel should be derived from INSTALL (which is derived
4#	from GENERIC) with some features commented out.
5#
6#	This kernel has been optimized for space. It is targeted towards
7#	small memory machines (4M). It has no SCSI, PCI or EISA. It does
8#	have pcmcia, for old laptops.
9#
10
11include "arch/i386/conf/std.i386"
12
13#options 	INCLUDE_CONFIG_FILE	# embed config file in kernel binary
14
15makeoptions	COPTS="-Os"		# Optimise for space. Implies -O2
16makeoptions	USE_SSP="no"
17
18# Enable the hooks used for initializing the root memory-disk.
19options 	MEMORY_DISK_HOOKS
20options 	MEMORY_DISK_IS_ROOT	# force root on memory disk
21options 	MEMORY_DISK_SERVER=0	# no userspace memory disk support
22options 	MEMORY_DISK_ROOT_SIZE=3100	# size of memory disk, in blocks
23options 	MEMORY_DISK_RBFLAGS=RB_SINGLE	# boot in single-user mode
24
25maxusers	2		# estimated number of users
26
27# CPU-related options.
28#options 	VM86		# virtual 8086 emulation
29#options 	USER_LDT	# user-settable LDT; used by WINE
30
31# This option allows you to force a serial console at the specified
32# I/O address.
33#options 	CONSDEVNAME="\"com\"",CONADDR=0x3f8,CONSPEED=9600
34
35# The following options override the memory sizes passed in from the boot
36# block.  Use them *only* if the boot block is unable to determine the correct
37# values.  Note that the BIOS may *correctly* report less than 640k of base
38# memory if the extended BIOS data area is located at the top of base memory
39# (as is the case on most recent systems).
40#options 	REALBASEMEM=...	# size of base memory
41#options 	REALEXTMEM=...	# size of extended memory
42
43options 	INSECURE	# disable kernel security levels
44
45options 	RTC_OFFSET=0	# hardware clock is this many mins. west of GMT
46#options 	NTP		# NTP phase/frequency locked loop
47
48#options 	KTRACE		# system call tracing via ktrace(1)
49
50#options 	SYSVSEM		# System V-like semaphores
51#options 	SYSVSHM		# System V-like memory sharing
52
53#options 	USERCONF	# userconf(4) support
54options 	PIPE_SOCKETPAIR		# smaller, but slower pipe(2)
55#options 	SYSCTL_INCLUDE_DESCR	# Include sysctl descriptions in kernel
56no options 	EXEC_AOUT	# we don't a.out support
57
58# Diagnostic/debugging support options
59#options 	DIAGNOSTIC	# inexpensive kernel consistency checks
60#options 	DEBUG		# expensive debugging checks/support
61#options 	DDB		# in-kernel debugger
62#options 	DDB_ONPANIC=1	# see also sysctl(7): `ddb.onpanic'
63#options 	DDB_HISTORY_SIZE=512	# enable history editing in DDB
64#options 	KGDB		# remote debugger
65#options 	KGDB_DEVNAME="\"com\"",KGDB_DEVADDR=0x3f8,KGDB_DEVRATE=9600
66#makeoptions	DEBUG="-g"	# compile full symbol table
67
68# Compatibility options
69#options 	COMPAT_NOMID	# NetBSD 0.8, 386BSD, and BSDI
70#options 	COMPAT_09	# NetBSD 0.9,
71#options 	COMPAT_10	# NetBSD 1.0,
72#options 	COMPAT_11	# NetBSD 1.1,
73#options 	COMPAT_12	# NetBSD 1.2 (and 386BSD and BSDI),
74#options 	COMPAT_13	# NetBSD 1.3 (and 386BSD and BSDI),
75#options 	COMPAT_14	# NetBSD 1.4,
76#options 	COMPAT_15	# NetBSD 1.5,
77#options 	COMPAT_16	# NetBSD 1.6,
78#options 	COMPAT_20	# NetBSD 2.0,
79#options 	COMPAT_30	# NetBSD 3.0,
80#options 	COMPAT_40	# NetBSD 4.0,
81#options 	COMPAT_50	# NetBSD 5.0,
82#options 	COMPAT_60	# NetBSD 6.0, and
83#options 	COMPAT_70	# NetBSD 7.0 binary compatibility.
84#options 	COMPAT_43	# 4.3BSD, 386BSD, and BSDI compatibility.
85#options 	COMPAT_386BSD_MBRPART # recognize old partition ID
86
87#options 	COMPAT_LINUX	# binary compatibility with Linux
88#options 	COMPAT_FREEBSD	# binary compatibility with FreeBSD
89options 	COMPAT_BSDPTY	# /dev/[pt]ty?? ptys.
90
91# File systems
92file-system	FFS		# UFS
93#file-system	EXT2FS		# second extended file system (linux)
94#file-system	LFS		# log-structured file system
95#file-system	MFS		# memory file system
96file-system	NFS		# Network File System client
97file-system	CD9660		# ISO 9660 + Rock Ridge file system
98file-system	MSDOSFS		# MS-DOS file system
99#file-system	FDESC		# /dev/fd
100#file-system	KERNFS		# /kern
101#file-system	NULLFS		# loopback file system
102#file-system	PROCFS		# /proc
103#file-system	UMAPFS		# NULLFS + uid and gid remapping
104#file-system	UNION		# union file system
105#file-system	PTYFS		# /dev/pts/N support
106#file-system	TMPFS		# Efficient memory file-system
107
108# Filesystem options
109#options 	QUOTA		# legacy UFS quotas
110#options 	QUOTA2		# new, in-filesystem UFS quotas
111#options 	FFS_EI		# FFS Endian Independent support
112#options 	NFSSERVER	# Network File System server
113options 	NFS_V2_ONLY	# Exclude NFS3 code to save space
114options 	FFS_NO_SNAPSHOT	# No FFS snapshot support
115#options 	EXT2FS_SYSTEM_FLAGS # makes ext2fs file flags (append and
116				# immutable) behave as system flags.
117
118# Networking options
119#options 	GATEWAY		# packet forwarding
120options 	INET		# IP + ICMP + TCP + UDP
121#options 	MROUTING	# IP multicast routing
122#options 	PIM		# Protocol Independent Multicast
123#options 	NETATALK	# AppleTalk networking protocols
124#options 	PPP_BSDCOMP	# BSD-Compress compression support for PPP
125#options 	PPP_DEFLATE	# Deflate compression support for PPP
126#options 	PPP_FILTER	# Active filter support for PPP (requires bpf)
127#options 	TCP_DEBUG	# Record last TCP_NDEBUG packets with SO_DEBUG
128
129# These options enable verbose messages for several subsystems.
130# Warning, these may compile large string tables into the kernel!
131#options 	EISAVERBOSE	# verbose EISA device autoconfig messages
132#options 	PCIVERBOSE	# verbose PCI device autoconfig messages
133#options 	PCI_CONFIG_DUMP	# verbosely dump PCI config space
134#options 	PCMCIAVERBOSE	# verbose PCMCIA configuration messages
135#options 	SCSIVERBOSE	# human readable SCSI error messages
136
137# Squeeze...
138options 	NVNODE=50
139options 	NBUF=20
140options 	BUFPAGES=20
141
142# Kernel root file system and dump configuration.
143config		netbsd	root on ? type ?
144#config		netbsd	root on sd0a type ffs
145#config		netbsd	root on ? type nfs
146
147#
148# wscons options
149#
150# builtin terminal emulations
151#options 	WSEMUL_SUN		# sun terminal emulation
152options 	WSEMUL_VT100		# VT100 / VT220 emulation
153# customization of console and kernel output - see dev/wscons/wsdisplayvar.h
154#options 	WSDISPLAY_CUSTOM_OUTPUT	# color customization from wsconsctl(8)
155#options 	WS_DEFAULT_FG=WSCOL_WHITE
156#options 	WS_DEFAULT_BG=WSCOL_BLACK
157#options 	WS_DEFAULT_COLATTR="(0)"
158#options 	WS_DEFAULT_MONOATTR="(0)"
159options 	WS_KERNEL_FG=WSCOL_GREEN
160#options 	WS_KERNEL_BG=WSCOL_BLACK
161#options 	WS_KERNEL_COLATTR=""
162#options 	WS_KERNEL_MONOATTR=""
163# customization of console border color
164#options 	WSDISPLAY_CUSTOM_BORDER	# border customization from wsconsctl(8)
165#options 	WSDISPLAY_BORDER_COLOR=WSCOL_BLUE	# default color
166# compatibility to other console drivers
167options 	WSDISPLAY_COMPAT_PCVT		# emulate some ioctls
168options 	WSDISPLAY_COMPAT_SYSCONS	# emulate some ioctls
169options 	WSDISPLAY_COMPAT_USL		# wsconscfg VT handling
170options 	WSDISPLAY_COMPAT_RAWKBD		# can get raw scancodes
171# see dev/pckbport/wskbdmap_mfii.c for implemented layouts
172#options 	PCKBD_LAYOUT="(KB_DE | KB_NODEAD)" # for pckbd driver
173#options 	UKBD_LAYOUT="(KB_DE | KB_NODEAD)"  # for ukbd driver
174# allocate a number of virtual screens at autoconfiguration time
175#options 	WSDISPLAY_DEFAULTSCREENS=4
176# use a large software cursor that doesn't blink
177options 	PCDISPLAY_SOFTCURSOR
178
179#
180# Device configuration
181#
182
183#apm0	at mainbus0			# Advanced power management
184
185
186# Basic Bus Support
187
188# PCI bus support
189#pci*	at mainbus? bus ?
190#pci*	at pchb? bus ?
191#pci*	at ppb? bus ?
192
193# PCI bridges
194#pchb*	at pci? dev ? function ?	# PCI-Host bridges
195#pceb*	at pci? dev ? function ?	# PCI-EISA bridges
196#pcib*	at pci? dev ? function ?	# PCI-ISA bridges
197#ppb*	at pci? dev ? function ?	# PCI-PCI bridges
198# XXX 'puc's aren't really bridges, but there's no better place for them here
199#puc*	at pci? dev ? function ?	# PCI "universal" comm. cards
200
201# As well as 5 and 7, avoid irq 4 and 3 because we do not probe com* here
202options 	PCIC_ISA_INTR_ALLOC_MASK=0xff47
203
204# PCMCIA bus support
205pcmcia* at pcic? controller ? socket ?
206#pcmcia* at tcic? controller ? socket ?
207
208# ISA PCMCIA controllers
209pcic0	at isa? port 0x3e0 iomem 0xd0000 iosiz 0x10000
210pcic1	at isa? port 0x3e2 iomem 0xe0000 iosiz 0x4000
211
212# EISA bus support
213#eisa0	at mainbus?
214#eisa0	at pceb?
215
216# ISA bus support
217isa0	at mainbus?
218#isa0	at pceb?
219#isa0	at pcib?
220
221# ISA Plug-and-Play bus support
222#isapnp0 at isa?
223
224
225# Console Devices
226
227# wscons
228pckbc0		at isa?			# PC keyboard controller
229pckbd*		at pckbc?		# PC keyboard
230pcdisplay0	at isa?			# CGA, MDA, EGA, HGA
231wsdisplay*	at pcdisplay? console ?
232wskbd*		at pckbd? console ?
233#wsmouse*	at pms? mux 0
234
235# Serial Devices
236
237# PCI serial interfaces
238#com*	at puc? port ?			# 16x50s on "universal" comm boards
239#cy*	at pci? dev ? function ?	# Cyclades Cyclom-Y serial boards
240
241# ISA Plug-and-Play serial interfaces
242#com*	at isapnp?			# Modems and serial boards
243
244# PCMCIA serial interfaces
245#com*	at pcmcia? function ?		# Modems and serial cards
246
247# ISA serial interfaces
248#options 	COM_HAYESP		# adds Hayes ESP serial board support
249#com0	at isa? port 0x3f8 irq 4	# Standard PC serial ports
250#com1	at isa? port 0x2f8 irq 3
251#com2	at isa? port 0x3e8 irq 5
252#com3	at isa? port 0x2e8 irq 9
253#ast0	at isa? port 0x1a0 irq 5	# AST 4-port serial cards
254#com*	at ast? slave ?
255#boca0	at isa? port 0x100 irq 5	# BOCA 8-port serial cards
256#com*	at boca? slave ?
257#rtfps0	at isa? port 0x1230 irq 10	# RT 4-port serial cards
258#com*	at rtfps? slave ?
259#cy0	at isa? iomem 0xd4000 irq 12	# Cyclades serial cards
260
261
262# Parallel Printer Interfaces
263
264# PCI parallel printer interfaces
265#lpt*	at puc? port ?			# || ports on "universal" comm boards
266
267# ISA parallel printer interfaces
268#lpt0	at isa? port 0x378 irq 7	# standard PC parallel ports
269#lpt1	at isa? port 0x278
270#lpt2	at isa? port 0x3bc
271
272# I2O devices
273#iop*	at pci? dev ? function ?	# I/O processor
274#iopsp*	at iop? tid ?			# SCSI/FC-AL ports
275#ld*	at iop? tid ?			# block devices
276#dpti*	at iop? tid 0			# DPT/Adaptec control interface
277
278# SCSI Controllers and Devices
279
280# PCI SCSI controllers
281#ahc*	at pci? dev ? function ?	# Adaptec [23]94x, aic78x0 SCSI
282#bha*	at pci? dev ? function ?	# BusLogic 9xx SCSI
283#dpt*	at pci? dev ? function ?	# DPT SmartCache/SmartRAID
284#isp*	at pci? dev ? function ?	# Qlogic ISP [12]0x0 SCSI/FibreChannel
285#mly*	at pci? dev ? function ?	# Mylex AcceleRAID and eXtremeRAID
286#siop*	at pci? dev ? function ?	# NCR 53c8xx SCSI
287
288# EISA SCSI controllers
289#ahb*	at eisa? slot ?			# Adaptec 174[02] SCSI
290#ahc*	at eisa? slot ?			# Adaptec 274x, aic7770 SCSI
291#bha*	at eisa? slot ?			# BusLogic 7xx SCSI
292#dpt*	at eisa? slot ?			# DPT SmartCache/SmartRAID
293#uha*	at eisa? slot ?			# UltraStor 24f SCSI
294
295# PCMCIA SCSI controllers
296#aic*	at pcmcia? function ?		# Adaptec APA-1460 SCSI
297
298# ISA Plug-and-Play SCSI controllers
299#aic*	at isapnp?			# Adaptec AHA-1520B
300
301# ISA SCSI controllers
302#aha0	at isa? port 0x330 irq ? drq ?	# Adaptec 154[02] SCSI
303#aha1	at isa? port 0x334 irq ? drq ?
304#ahc0	at isa? port ? irq ?		# Adaptec 284x SCSI
305#aic0	at isa? port 0x340 irq 11	# Adaptec 152[02] SCSI
306#bha0	at isa? port 0x330 irq ? drq ?	# BusLogic [457]4X SCSI
307#bha1	at isa? port 0x334 irq ? drq ?
308# The "nca" and "dpt" probes might give false hits or hang your machine.
309#dpt0	at isa? port 0x170 irq ? drq ?	# DPT SmartCache/SmartRAID
310#nca0	at isa? port 0x360 irq 15	# Port-mapped NCR 53C80 controller
311#nca1	at isa? iomem 0xd8000 irq 5	# Memory-mapped controller (T128, etc.)
312#sea0	at isa? iomem 0xc8000 irq 5	# Seagate/Future Domain SCSI
313#uha0	at isa? port 0x330 irq ? drq ?	# UltraStor [13]4f SCSI
314#uha1	at isa? port 0x340 irq ? drq ?
315#wds0	at isa? port 0x350 irq 15 drq 6	# WD7000 and TMC-7000 controllers
316#wds1	at isa? port 0x358 irq 11 drq 5
317
318# SCSI bus support
319#scsibus* at scsi?
320
321# SCSI devices
322#sd*	at scsibus? target ? lun ?	# SCSI disk drives
323#st*	at scsibus? target ? lun ?	# SCSI tape drives
324#cd*	at scsibus? target ? lun ?	# SCSI CD-ROM drives
325#ch*	at scsibus? target ? lun ?	# SCSI autochangers
326#ss*	at scsibus? target ? lun ?	# SCSI scanners
327#uk*	at scsibus? target ? lun ?	# SCSI unknown
328
329
330# RAID controllers and devices
331#aac*	at pci? dev ? function ?	# Adaptec AAC family
332#cac*	at eisa? slot ?			# Compaq EISA array controllers
333#cac*	at pci? dev ? function ?	# Compaq PCI array controllers
334#ciss*	at pci? dev ? function ?	# HP Smart Array controllers
335#icp*	at pci? dev ? function ?	# ICP-Vortex GDT & Intel RAID
336#mlx*	at pci? dev ? function ?	# Mylex DAC960 & DEC SWXCR family
337#mlx*	at eisa? slot ?			# Mylex DAC960 & DEC SWXCR family
338#twe*	at pci? dev ? function ?	# 3ware Escalade RAID controllers
339
340#ld*	at aac? unit ?			# logical disk devices
341#ld*	at cac? unit ?
342#ld*	at icp? unit ?
343#ld*	at twe? unit ?
344#ld*	at mlx? unit ?
345
346#icpsp*	at icp? unit ?			# SCSI pass-through
347
348
349# IDE and related devices
350
351# PCMCIA IDE controllers
352wdc*	at pcmcia? function ?
353
354# ST506, ESDI, and ISA IDE controllers
355# Use flags 0x01 if you want to try to use 32bits data I/O (the driver will
356# fall back to 16bits I/O if 32bits I/O are not functional).
357# Some controllers pass the initial 32bit test, but will fail later.
358wdc0	at isa? port 0x1f0 irq 14 flags 0x00
359wdc1	at isa? port 0x170 irq 15 flags 0x00
360
361# ATA (IDE) bus support
362atabus* at ata?
363
364# IDE drives
365wd*	at atabus? drive ?		# the drives themselves
366
367# ATAPI bus support
368atapibus* at atapi?
369
370# ATAPI devices
371cd*	at atapibus? drive ?		# ATAPI CD-ROM drives
372#sd*	at atapibus? drive ?		# ATAPI disk drives
373
374
375# Miscellaneous mass storage devices
376
377# ISA floppy
378fdc0	at isa? port 0x3f0 irq 6 drq 2	# standard PC floppy controllers
379#fdc1	at isa? port 0x370 irq ? drq ?
380fd*	at fdc? drive ?			# the drives themselves
381# some machines need you to do this instead of fd*
382#fd0	at fdc0 drive 0
383
384# ISA CD-ROM devices
385#mcd0	at isa? port 0x300 irq 10	# Mitsumi CD-ROM drives
386
387# ISA tape devices
388# note: the wt driver conflicts unpleasantly with ed devices at the
389# same I/O address. The probe reprograms their EEPROMs. Don't
390# uncomment it unless you are actually using it.
391#wt0	at isa? port 0x308 irq 5 drq 1	# Archive and Wangtek QIC tape drives
392
393
394# Network Interfaces
395
396# PCI network interfaces
397#en*	at pci? dev ? function ?	# ENI/Adaptec ATM
398#ep*	at pci? dev ? function ?	# 3Com 3c59x/3c90x Ethernet
399#fpa*	at pci? dev ? function ?	# DEC DEFPA FDDI
400#fxp*	at pci? dev ? function ?	# Intel EtherExpress PRO 10+/100B
401#le*	at pci? dev ? function ?	# PCnet-PCI Ethernet
402#ne*	at pci? dev ? function ?	# NE2000-compatible Ethernet
403#tl*	at pci? dev ? function ?	# ThunderLAN-based Ethernet
404#tlp*	at pci? dev ? function ?	# DECchip 21x4x and clones
405
406# EISA network interfaces
407#ep*	at eisa? slot ?			# 3Com 3c579 Ethernet
408#fea*	at eisa? slot ?			# DEC DEFEA FDDI
409
410# ISA Plug-and-Play network interfaces
411#ep*	at isapnp?			# 3Com 3c509 Ethernet
412#ne*	at isapnp?			# NE2000-compatible Ethernet
413
414# PCMCIA network interfaces
415ep*	at pcmcia? function ?		# 3Com 3c589 and 3c562 Ethernet
416mbe*	at pcmcia? function ?		# MB8696x based Ethernet
417ne*	at pcmcia? function ?		# NE2000-compatible Ethernet
418sm*	at pcmcia? function ?		# Megahertz Ethernet
419
420# ISA network interfaces
421ate0	at isa? port 0x2a0 irq ?		# AT1700
422ec0	at isa? port 0x250 iomem 0xd8000 irq 9	# 3Com 3c503 Ethernet
423#eg0	at isa? port 0x280 irq 9		# 3c505 Ethernet cards
424#el0	at isa? port 0x300 irq 9		# 3c501 Ethernet cards
425ep0	at isa? port ? irq ?			# 3c509 Ethernet cards
426#ef0	at isa? port 0x360 iomem 0xd0000 irq 7	# 3c507
427ai0	at isa? port 0x360 iomem 0xd0000 irq 7	# StarLAN
428fmv0	at isa? port 0x2a0 irq ?		# FMV-180 series
429ix0	at isa? port 0x300 irq 10		# EtherExpress/16
430iy0	at isa? port 0x360 irq ?		# EtherExpress PRO 10 ISA
431lc0	at isa? port 0x320 iomem ? irq ?	# DEC EtherWORKS III (LEMAC)
432#depca0	at isa? port 0x300 iomem 0xc8000 iosiz 0x8000 irq 5	# DEPCA
433#le*	at depca?
434#nele0	at isa? port 0x320 irq 9 drq 7		# NE2100
435#le*	at nele?
436#bicc0	at isa? port 0x320 irq 10 drq 7		# BICC IsoLan
437#le*	at bicc?
438ne0	at isa? port 0x280 irq 9		# NE[12]000 Ethernet cards
439ne1	at isa? port 0x300 irq 10
440sm0	at isa? port 0x300 irq 10		# SMC91C9x Ethernet
441we0	at isa? port 0x280 iomem 0xd0000 irq 9	# WD/SMC Ethernet
442we1	at isa? port 0x300 iomem 0xcc000 irq 10
443
444# MII bus support
445#mii*	at tl?
446
447# MII PHY network interfaces
448#tlphy*	at mii? dev ?			# ThunderLAN PHYs
449#nsphy*	at mii? dev ?			# NS and compatible PHYs
450#ukphy*	at mii? phy ?			# generic unknown PHYs
451
452
453# Audio Devices
454
455# ISA Plug-and-Play audio devices
456#guspnp* at isapnp?			# Gravis Ultra Sound PnP audio
457#sb*	at isapnp?			# SoundBlaster-compatible audio
458
459# ISA audio devices
460#gus0	at isa? port 0x220 irq 7 drq 1 drq2 6	# Gravis Ultra Sound
461#pas0	at isa? port 0x220 irq 7 drq 1		# ProAudio Spectrum
462#sb0	at isa? port 0x220 irq 7 drq 1 drq2 5	# SoundBlaster
463#wss0	at isa? port 0x530 irq 10 drq 0	drq2 1	# Windows Sound System
464
465# Audio support
466#audio*	at audiobus?
467
468# The spkr driver provides a simple tone interface to the built in speaker.
469#spkr*	at pcppi?		# PC speaker
470#spkr*	at audio?		# PC speaker (synthesized)
471
472
473# Joysticks
474
475# ISA Plug-and-Play joysticks
476#joy*	at isapnp?			# Game ports (usually on audio cards)
477
478# ISA joysticks. Probe is a little strange; add only if you have one.
479#joy0	at isa? port 0x201
480
481
482# Miscellaneous Devices
483
484# Planetconnect Satellite receiver driver.
485#satlink0 at isa? port 0x300 drq 1
486
487
488# Pull in optional local configuration
489cinclude "arch/i386/conf/INSTALL.local"
490
491
492# Pseudo-Devices
493
494# disk/mass storage pseudo-devices
495#pseudo-device	ccd			# concatenated/striped disk devices
496#pseudo-device	fss			# file system snapshot device
497pseudo-device	md			# memory disk device (ramdisk)
498#pseudo-device	vnd			# disk-like interface to files
499
500# network pseudo-devices
501#pseudo-device	bpfilter		# Berkeley packet filter
502#pseudo-device	ipfilter		# IP filter (firewall) and NAT
503pseudo-device	loop			# network loopback
504#pseudo-device	ppp			# Point-to-Point Protocol
505#pseudo-device	sl			# Serial Line IP
506#pseudo-device	strip			# Starmode Radio IP (Metricom)
507#pseudo-device	tun			# network tunneling over tty
508
509# miscellaneous pseudo-devices
510pseudo-device	pty			# pseudo-terminals
511options 	NO_DEV_PTM
512#options 	RND_COM			# use "com" randomness as well (BROKEN)
513