This week only. Pastebin PRO Accounts Christmas Special! Don't miss out!Want more features on Pastebin? Sign Up, it's FREE!
Guest

FreeBSD RPI-B config

By: a guest on Oct 10th, 2013  |  syntax: None  |  size: 2.75 KB  |  views: 27  |  expires: Never
download  |  raw  |  embed  |  report abuse  |  print
Text below is selected. Please press Ctrl+C to copy to your clipboard. (⌘+C on Mac)
  1. ident           RPI-B
  2.  
  3. include         "../broadcom/bcm2835/std.rpi"
  4.  
  5. makeoptions     DEBUG=-g                #Build kernel with gdb(1) debug symbols
  6. options         HZ=100
  7.  
  8. options         SCHED_4BSD              #4BSD scheduler
  9. options         INET                    #InterNETworking
  10. options         INET6                   #IPv6 communications protocols
  11. options         SCTP                    #Stream Control Transmission Protocol
  12. options         FFS                     #Berkeley Fast Filesystem
  13. options         SOFTUPDATES             #Enable FFS soft updates support
  14. options         UFS_ACL                 #Support for access control lists
  15. options         UFS_DIRHASH             #Improve performance on big directories
  16. options         PSEUDOFS                #Pseudo-filesystem framework
  17. options         COMPAT_43               #Compatible with BSD 4.3 [KEEP THIS!]
  18. options         SCSI_DELAY=5000         #Delay (in ms) before probing SCSI
  19. options         KTRACE                  #ktrace(1) support
  20. options         SYSVSHM                 #SYSV-style shared memory
  21. options         SYSVMSG                 #SYSV-style message queues
  22. options         SYSVSEM                 #SYSV-style semaphores
  23. options         _KPOSIX_PRIORITY_SCHEDULING #Posix P1003_1B real-time extensions
  24. options         KBD_INSTALL_CDEV        # install a CDEV entry in /dev
  25.  
  26. options         PREEMPTION
  27.  
  28. device          bpf
  29. device          loop
  30. device          ether
  31. device          uart
  32. device          pl011
  33.  
  34. device          pty
  35.  
  36. # Comment following lines for boot console on serial port
  37. device          sc
  38. device          kbdmux
  39. options         SC_DFLT_FONT    # compile font in
  40. makeoptions     SC_DFLT_FONT=cp437
  41. device          ukbd
  42.  
  43. device          sdhci
  44. device          mmc
  45. device          mmcsd
  46.  
  47. device          gpio
  48. device          gpioled
  49.  
  50. options         KDB
  51. options         DDB                     #Enable the kernel debugger
  52. options         INVARIANTS              #Enable calls of extra sanity checking
  53. options         INVARIANT_SUPPORT       #Extra sanity checks of internal structures, required by INVARIANTS
  54.  
  55. device          md
  56. device          random          # Entropy device
  57.  
  58. # USB support
  59. device          usb
  60. options         USB_DEBUG
  61. device          dwcotg          #DWC OTG controller
  62.  
  63. # USB storage support
  64. device          scbus
  65. device          da
  66. device          umass
  67.  
  68. # USB ethernet support
  69. device          smcphy
  70.  
  71. device          mii
  72. device          smsc
  73.  
  74. # Flattened Device Tree
  75. options         FDT
  76. # Note:  DTB is normally loaded and modified by RPi boot loader, then
  77. # handed to kernel via U-Boot and ubldr.
  78. #options         FDT_DTB_STATIC
  79. makeoptions     FDT_DTS_FILE=rpi.dts
  80.  
  81. options         VFP             # vfp/neon
clone this paste RAW Paste Data