Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1# CONFIG_LOW_LEVEL_OPTIONS is not set 2# CONFIG_MACH_AVR is not set 3# CONFIG_MACH_ATSAM is not set 4# CONFIG_MACH_ATSAMD is not set 5# CONFIG_MACH_LPC176X is not set 6# CONFIG_MACH_STM32 is not set 7# CONFIG_MACH_HC32F460 is not set 8# CONFIG_MACH_RPXXXX is not set 9# CONFIG_MACH_PRU is not set 10# CONFIG_MACH_AR100 is not set 11# CONFIG_MACH_LINUX is not set 12CONFIG_MACH_SIMU=y 13CONFIG_BOARD_DIRECTORY="simulator" 14CONFIG_CLOCK_FREQ=20000000 15CONFIG_SERIAL=y 16CONFIG_SIMULATOR_SELECT=y 17CONFIG_SERIAL_BAUD=250000 18CONFIG_USB_VENDOR_ID=0x1d50 19CONFIG_USB_DEVICE_ID=0x614e 20CONFIG_USB_SERIAL_NUMBER="12345" 21CONFIG_WANT_ADC=y 22CONFIG_WANT_SPI=y 23CONFIG_WANT_SOFTWARE_SPI=y 24CONFIG_WANT_HARD_PWM=y 25CONFIG_WANT_BUTTONS=y 26CONFIG_WANT_TMCUART=y 27CONFIG_WANT_NEOPIXEL=y 28CONFIG_WANT_PULSE_COUNTER=y 29CONFIG_WANT_ST7920=y 30CONFIG_WANT_HD44780=y 31CONFIG_WANT_ADXL345=y 32CONFIG_WANT_LIS2DW=y 33CONFIG_WANT_THERMOCOUPLE=y 34CONFIG_WANT_HX71X=y 35CONFIG_WANT_ADS1220=y 36CONFIG_WANT_SENSOR_ANGLE=y 37CONFIG_NEED_SENSOR_BULK=y 38CONFIG_CANBUS_FREQUENCY=1000000 39CONFIG_INLINE_STEPPER_HACK=y 40CONFIG_HAVE_GPIO=y 41CONFIG_HAVE_GPIO_ADC=y 42CONFIG_HAVE_GPIO_SPI=y 43CONFIG_HAVE_GPIO_HARD_PWM=y