Added kernel configuration for Olimex Pinguino-Micro board (with mx795 chip).

Makefile

@@ -21,6 +21,7 @@ DUINOMITE       = sys/pic32/duinomite/DUINOMITE
 DUINOMITEUART   = sys/pic32/duinomite-uart/DUINOMITE-UART
 DUINOMITEE      = sys/pic32/duinomite-e/DUINOMITE-E
 DUINOMITEEUART  = sys/pic32/duinomite-e-uart/DUINOMITE-E-UART
+PINGUINO        = sys/pic32/pinguino-micro/PINGUINO-MICRO
 MMBMX7          = sys/pic32/mmb-mx7/MMB-MX7
 WF32            = sys/pic32/wf32/WF32
 UBW32           = sys/pic32/ubw32/UBW32

sys/pic32/Makefile

@@ -5,7 +5,7 @@ SUBDIR		= baremetal duinomite duinomite-uart duinomite-e \
                   duinomite-e-uart explorer16 max32 maximite \
                   meb starter-kit sdxl ubw32 ubw32-uart \
                   ubw32-uart-sdram baremetal fubarino mmb-mx7 maximite-color \
-                  32mxsdram-uart picadillo wf32
+                  32mxsdram-uart picadillo wf32 pinguino-micro
 
 default:
 

sys/pic32/pinguino-micro/Makefile

@@ -0,0 +1,44 @@
+BUILDPATH = ../../../tools/configsys/../../sys/pic32
+H         = ../../../tools/configsys/../../sys/include
+M         = ../../../tools/configsys/../../sys/pic32
+S         = ../../../tools/configsys/../../sys/kernel
+
+vpath %.c $(M):$(S)
+vpath %.S $(M):$(S)
+
+KERNOBJ += adc.o clock.o cons.o devsw.o exception.o exec_aout.o exec_conf.o exec_elf.o exec_script.o exec_subr.o gpio.o init_main.o init_sysent.o kern_clock.o kern_descrip.o kern_exec.o kern_exit.o kern_fork.o kern_mman.o kern_proc.o kern_prot.o kern_prot2.o kern_resource.o kern_sig.o kern_sig2.o kern_subr.o kern_synch.o kern_sysctl.o kern_time.o machdep.o mem.o rd_sd.o rdisk.o signal.o spi_bus.o startup.o subr_prf.o subr_rmap.o swap.o sys_generic.o sys_inode.o sys_pipe.o sys_process.o syscalls.o sysctl.o tty.o tty_subr.o tty_tty.o ufs_alloc.o ufs_bio.o ufs_bmap.o ufs_dsort.o ufs_fio.o ufs_inode.o ufs_mount.o ufs_namei.o ufs_subr.o ufs_syscalls.o ufs_syscalls2.o usb_device.o usb_function_cdc.o usb_uart.o vers.o vfs_vnops.o vm_sched.o vm_swap.o vm_swp.o 
+EXTRA_TARGETS = 
+
+DEFS += -DADC_ENABLED=YES
+DEFS += -DBUS_DIV=1
+DEFS += -DBUS_KHZ='CPU_KHZ/BUS_DIV'
+DEFS += -DCONSOLE_DEVICE=ttyUSB0
+DEFS += -DCPU_IDIV=2
+DEFS += -DCPU_KHZ='((CRYSTAL*1000)/CPU_IDIV*CPU_MUL/CPU_ODIV)'
+DEFS += -DCPU_MUL=20
+DEFS += -DCPU_ODIV=1
+DEFS += -DCRYSTAL=8
+DEFS += -DEXEC_AOUT
+DEFS += -DEXEC_ELF
+DEFS += -DEXEC_SCRIPT
+DEFS += -DGPIO_ENABLED=YES
+DEFS += -DKERNEL
+DEFS += -DLED_KERNEL_INVERT=YES
+DEFS += -DLED_KERNEL_PIN=1
+DEFS += -DLED_KERNEL_PORT=TRISD
+DEFS += -DPIC32MX7
+DEFS += -DSD0_CS_PIN=13
+DEFS += -DSD0_CS_PORT=TRISB
+DEFS += -DSD0_PORT=2
+DEFS += -DUARTUSB_ENABLED=YES
+DEFS += -DUCB_METER
+DEFS += -DUSB_MAX_EP_NUMBER=3
+DEFS += -DUSB_NUM_STRING_DESCRIPTORS=3
+
+
+LDSCRIPT = ../../../tools/configsys/../../sys/pic32/cfg/bootloader-ubw32.ld
+
+CONFIG = PINGUINO-MICRO
+CONFIGPATH = ../../../tools/configsys
+
+include ../../../tools/configsys/../../sys/pic32/kernel-post.mk

sys/pic32/pinguino-micro/PINGUINO-MICRO

@@ -0,0 +1,21 @@
+#
+# Pinguino-micro board
+# ====================
+#
+# Console on USB
+# For Windows, use the driver: http://www.schmalzhaus.com/UBW32/FW/UBW32inf.zip
+
+core pic32mx7
+linker bootloader-ubw32
+mapping generic
+
+device kernel invled=D1
+
+device console device=ttyUSB0
+device uartusb
+
+device sd0 port=2 cs=B13
+device gpio
+device adc
+
+#device bootloader button=E7 led=E3 user=0x1d005000