issues
search
chettrick
/
discobsd
2.11BSD-based UNIX-like OS for STM32 and PIC32 Microcontrollers
http://www.DiscoBSD.org
BSD 3-Clause "New" or "Revised" License
170
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support inexpensive WeAct Studio STM32F4 Core boards
#15
extrowerk
opened
4 months ago
19
sys/kernel: Check elf machine type based on architecture
#12
amarkee
closed
8 months ago
3
F4discovery
#11
lhondareyte
closed
10 months ago
2
FreeBSD require gcc-arm-embedded on STM32 (instead of arm-none-eabi-gcc)
#10
lhondareyte
closed
11 months ago
7
atc won't build
#9
omarandlorraine
closed
11 months ago
2
get adventure to link
#8
omarandlorraine
closed
11 months ago
7
build: /usr/local/bin/arm-none-eabi for FreeBSD
#7
saper
closed
1 year ago
1
build: use gcc for zoneinfo
#6
saper
closed
11 months ago
3
share/zoneinfo: use gcc
#5
saper
opened
1 year ago
5
kconfig: /usr/bin/ld: multiple definition of `debugging`
#4
saper
closed
1 year ago
2
sd0: no SD/MMC card detected on F4DISCOVERY
#3
lhondareyte
opened
1 year ago
5
Add support on FreeBSD
#2
lhondareyte
closed
1 year ago
3
Support for atsamd51, cpu 120mhz 256kb ram, 1mb flash. See: https://www.microchip.com/en-us/product/ATSAMD51G18A Thanks
#1
vslinuxdotnet
opened
1 year ago
4