issues
search
f9micro
/
f9-kernel
An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
683
stars
145
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
kernel: fix typo in Kconfig
#63
zzz0072
closed
10 years ago
0
make USART pin assignment configurable
#62
jserv
closed
10 years ago
0
Unexpected linker messages when loader is enabled
#61
jserv
closed
10 years ago
2
Remote gdb with f9 kernel panic
#60
benwei
closed
11 years ago
5
Tweak dbg
#59
vh21
closed
11 years ago
0
lib: string: add strcmp
#58
georgekang
closed
11 years ago
0
lib: string: add memcpy and memset
#57
vh21
closed
11 years ago
0
Breakpoint rewrite and move user text from flash to ram
#56
georgekang
closed
11 years ago
0
post handler in kprobe would miss
#55
georgekang
opened
11 years ago
5
Evaluate LZ4 realtime compressor for loader
#54
jserv
opened
11 years ago
0
"Smallest shift of flexible pages" conflicts with the alignment of data section in link file.
#53
georgekang
opened
11 years ago
1
mk: enable interpretation of backslash escapes
#52
vh21
closed
11 years ago
0
Implement system image loader
#51
jserv
closed
10 years ago
9
Issue #47 : move routines to init hook system
#50
DreamLinuxer
closed
11 years ago
3
Tweak debug IO
#49
vh21
closed
11 years ago
4
Fix minor error in commit dbc6b92
#48
DreamLinuxer
closed
11 years ago
1
move routines to new init hook system
#47
jserv
closed
11 years ago
1
Issue #30: introduce new initialization hook system
#46
DreamLinuxer
closed
11 years ago
1
Abnormal statistics when FPU support is enabled
#45
jserv
opened
11 years ago
5
use queue instead of generic FIFO
#44
jserv
closed
11 years ago
1
Ensure that all explicit memory accesses that appear in program order
#43
jserv
opened
11 years ago
0
Close IRQ in context switch to avoid abnormal sampling result
#42
georgekang
closed
11 years ago
1
Need proper kernel timer compensation when tickless is enabled
#41
jserv
opened
11 years ago
1
Abnormal statistics of as_setup_mpu
#40
jserv
closed
11 years ago
5
Clean up building procedure.
#39
vh21
closed
11 years ago
0
kconfig: add *.c_shipped back
#38
vh21
closed
11 years ago
0
make config failed
#37
arcbbb
closed
11 years ago
3
kconfig: add include guard for autoconf.h
#36
vh21
closed
11 years ago
0
fixes issue #31
#35
arcbbb
closed
11 years ago
0
incorrect parsing patterns for feature configurations
#34
jserv
closed
11 years ago
4
Never hard-code feature-specific include in mk/generic.mk
#33
jserv
closed
11 years ago
2
thread destroy function is missing
#32
jserv
closed
10 years ago
3
user thread listing is absent when compiled with -O0
#31
jserv
closed
11 years ago
0
introduce new initialization hook system
#30
jserv
closed
11 years ago
0
Improve kprobe and fix kdb sampling
#29
arcbbb
closed
11 years ago
0
Lack of a functional CONFIG_DEBUG build option
#28
jserv
closed
11 years ago
25
Simple banner for this project
#27
tsunghanlin
closed
11 years ago
1
Better welcome message
#26
jserv
closed
11 years ago
0
kernel panic when KDB is not enabled
#25
jserv
closed
11 years ago
1
Implement thread_sleep and time related APIs
#24
jserv
closed
11 years ago
2
use Eclipse CDT for source-level debugging
#23
jserv
opened
11 years ago
2
fix typo in usart_init
#22
arcbbb
closed
11 years ago
0
inconsistent naming between CHIP and PLATFORM
#21
jserv
closed
11 years ago
0
non-recursive thread_select function
#20
arcbbb
closed
11 years ago
1
Implement tickless scheduling
#19
jserv
closed
11 years ago
2
Introduce KProbe mechanism for kernel debugging
#18
arcbbb
closed
11 years ago
0
To avoid priority escalation for DebugMon exception
#17
arcbbb
closed
11 years ago
0
update bitmap location in linker script
#16
arcbbb
closed
11 years ago
0
duplicated NVIC entries for STM32F4
#15
jserv
closed
11 years ago
0
introduce Kconfig style configuration for build system
#14
jserv
closed
11 years ago
4
Previous
Next