1#################################RMI_BSD##################################### 2# Copyright (c) 2003-2009 RMI Corporation 3# All rights reserved. 4# 5# Redistribution and use in source and binary forms, with or without 6# modification, are permitted provided that the following conditions 7# are met: 8# 1. Redistributions of source code must retain the above copyright --- 29 unchanged lines hidden (view full) --- 38# FreeBSD World Wide Web server (http://www.FreeBSD.org/) for the 39# latest information. 40# 41# An exhaustive list of options and more detailed explanations of the 42# device lines is also present in the ../../conf/NOTES and NOTES files. 43# If you are in doubt as to the purpose or necessity of a line, check first 44# in NOTES. 45# |
46# $FreeBSD: head/sys/mips/conf/XLR 217626 2011-01-20 08:15:11Z jchandra $ |
47 48machine mips mipseb 49cpu CPU_RMI 50ident XLR 51 52makeoptions MODULES_OVERRIDE="" |
53# 54 55include "../rmi/std.xlr" 56 57 58makeoptions DEBUG=-g # Build kernel with gdb(1) debug symbols 59#profile 2 |
60makeoptions KERNLOADADDR=0x80100000 61options ISA_MIPS32 |
62 63options SCHED_ULE # ULE scheduler 64#options VERBOSE_SYSINIT 65#options SCHED_4BSD # 4BSD scheduler 66options SMP 67options PREEMPTION # Enable kernel thread preemption 68#options FULL_PREEMPTION # Enable kernel thread preemption 69options INET # InterNETworking --- 82 unchanged lines hidden (view full) --- 152device max6657 # Temparature sensor on XLR boards 153device at24co2n # EEPROM on XLR boards 154 155#crypto 156# Not yet 157#device cryptodev 158#device crypto 159#device rmisec |