/release/picobsd/qemu/PICOBSD

https://bitbucket.org/freebsd/freebsd-head/ · #! · 125 lines · 101 code · 24 blank · 0 comment · 0 complexity · 0739b1bbd33f932f66879e5031855443 MD5 · raw file

  1. #
  2. # $FreeBSD$
  3. # A configuration file to run tests on qemu.
  4. # We disable SMP because it does not work well with qemu, and set HZ=1000
  5. # to avoid it being overridden.
  6. #
  7. # Line starting with #PicoBSD contains PicoBSD build parameters
  8. #marker def_sz init MFS_inodes floppy_inodes
  9. #PicoBSD 18000 init 8192 32768
  10. options MD_ROOT_SIZE=18000 # same as def_sz
  11. hints "PICOBSD.hints"
  12. # values accessible through getenv()
  13. # env "PICOBSD.env"
  14. #cpu I486_CPU
  15. cpu I586_CPU
  16. cpu I686_CPU
  17. ident PICOBSD
  18. # SMP seems to be needed for kern_et
  19. options SMP
  20. device apic
  21. options SCHED_ULE # mandatory to have one scheduler
  22. options PREEMPTION # needed for decent interrupt processing
  23. #options MATH_EMULATE #Support for x87 emulation
  24. options INET #InterNETworking
  25. #options INET6
  26. options FFS #Berkeley Fast Filesystem
  27. #options BOOTP #Use BOOTP to obtain IP address/hostname
  28. options MD_ROOT #MD is a potential root device
  29. #options NFS #Network Filesystem
  30. #options NFS_ROOT #NFS usable as root device, NFS required
  31. #options MSDOSFS #MSDOS Filesystem
  32. #options CD9660 #ISO 9660 Filesystem
  33. #options CD9660_ROOT #CD-ROM usable as root, CD9660 required
  34. #options DEVFS #Device Filesystem
  35. #options PROCFS #Process filesystem
  36. options COMPAT_43 #Compatible with BSD 4.3 [KEEP THIS!]
  37. options KDB
  38. options DDB
  39. options IPFIREWALL
  40. options IPFIREWALL_DEFAULT_TO_ACCEPT
  41. options IPDIVERT # divert (for natd)
  42. # Support for bridging and bandwidth limiting
  43. options DUMMYNET
  44. device if_bridge
  45. # Running with less than 1000 seems to give poor timing on
  46. # qemu, so we set HZ explicitly.
  47. options HZ=1000
  48. device random # used by ssh
  49. device pci
  50. # Floppy drives
  51. device fdc
  52. # ATA and ATAPI devices
  53. #device ata
  54. #device atadisk # ATA disk drives
  55. #device atapicd # ATAPI CDROM drives
  56. #options ATA_STATIC_ID #Static device numbering
  57. # atkbdc0 controls both the keyboard and the PS/2 mouse
  58. device atkbdc # At keyboard controller
  59. device atkbd
  60. #device psm # do we need the mouse ??
  61. device vga # VGA screen
  62. # syscons is the default console driver, resembling an SCO console
  63. device sc
  64. # Serial (COM) ports
  65. device uart
  66. # Audio support
  67. #device pcm
  68. # PCCARD (PCMCIA) support
  69. #device card # pccard bus
  70. #device pcic # PCMCIA bridge
  71. # Parallel port
  72. #device ppc
  73. #device ppbus # Parallel port bus (required)
  74. #device lpt # Printer
  75. #device plip # TCP/IP over parallel
  76. #device ppi # Parallel port interface device
  77. #
  78. # The following Ethernet NICs are all PCI devices.
  79. #
  80. device miibus
  81. device fxp # Intel EtherExpress PRO/100B (82557, 82558)
  82. device nfe # nVidia nForce MCP on-board Ethernet
  83. #device xl # 3Com
  84. device rl # RealTek 8129/8139
  85. device re # RealTek 8139C+/8169/8169S/8110S
  86. device sis # National/SiS
  87. device dc # DEC/Intel 21143 and various workalikes
  88. device ed
  89. device loop # Network loopback
  90. device ether # Ethernet support
  91. device tun # Packet tunnel.
  92. device pty # Pseudo-ttys (telnet etc)
  93. device md # Memory "disks"
  94. #device gif 4 # IPv6 and IPv4 tunneling
  95. #device faith 1 # IPv6-to-IPv4 relaying (translation)
  96. device tap
  97. #options VIMAGE # soner or later we may want to test this
  98. #options DEVICE_POLLING
  99. # The `bpf' device enables the Berkeley Packet Filter.
  100. # Be aware of the administrative consequences of enabling this!
  101. device bpf # Berkeley packet filter