f9micro/f9-kernel

Issues

• Access to debug via USART on STM32F429I-DISC1 (E01)

  #163 opened 3 years ago by kiritsu-project
  2

• add f9-kernel to github topic "l4-microkernel"

  #162 opened 4 years ago by froh
  1

• I2C support

  #160 opened 6 years ago by ab1aw
  2

• Improve Kprobe with symbol table to provide real dynamic tracing

  #130 opened 8 years ago by louisom
  1

• Stack dump on qemu_stm32

  #154 opened 7 years ago by xiangzhai
  4

• userApp

  #143 opened 8 years ago by gnitnaw
  16

• L4 error message codes do not match documentation.

  #161 opened 6 years ago by ab1aw
  0

• pager_start_thread() arg parameter

  #157 opened 6 years ago by ab1aw
  1

• L4 kernel API specification

  #156 opened 6 years ago by ab1aw
  2

• IPC specification (just a question)

  #155 opened 7 years ago by Daparrag
  2

• stm32p103 can't work in tickless mode

  #127 opened 8 years ago by louisom
  1

• support qemu or not ?

  #152 opened 8 years ago by jeffrey67
  2

• L4_Sleep can work?

  #145 opened 8 years ago by gnitnaw
  1

• Why put bitmap section in RAMCCM?

  #153 opened 8 years ago by jeffrey67
  0

• f9-kernel wiki

  #151 opened 8 years ago by BaikalHu
  2

• What's the relationship between F9 microkernel and BitSec

  #149 opened 8 years ago by BaikalHu
  1

• Static memory allocation on userland

  #144 opened 8 years ago by gnitnaw
  14

• SVC exception

  #146 opened 8 years ago by gnitnaw
  0

• Provide sample applications for device manipulation

  #142 opened 8 years ago by gnitnaw
  2

• Ipc_deliver didn't check from_thr intended to send.

  #138 opened 8 years ago by louisom
  0

• Counting cycle in f9-kernel?

  #133 opened 8 years ago by louisom
  0

• Improve memory mamagement documentation.

  #132 opened 8 years ago by louisom
  0

• Change debug layer to debug level

  #128 opened 8 years ago by louisom
  0

• qemu emulate stm32p103 got "Reached end of schedule()"

  #123 opened 8 years ago by louisom
  2

• pthread_mutex_lock stuck when acquiring a locked mutex

  #124 opened 8 years ago by louisom
  1

• Think I just hosed a discovery board with default stm32f4 config

  #118 opened 9 years ago by jeremytregunna
  2

• Measure the latency of (posix) semaphores

  #110 opened 10 years ago by jserv
  0

• ambiguous user space function create_thread

  #91 opened 10 years ago by georgekang
  2

• ARMv7: Add support to use ITM for debug output

  #109 opened 10 years ago by jserv
  0

• A repository to customize QEMU for STM32-based modeling

  #103 opened 11 years ago by slpbaby
  5

• Implement Thumb-2 optimized memcpy/memset

  #67 opened 11 years ago by jserv
  10

• Implement POSIX compatibile layer

  #98 opened 11 years ago by jserv
  13

• Reuse library function for kernel code

  #93 opened 11 years ago by myaut
  2

• revise and merge stm32-p103 platform support

  #100 opened 11 years ago by jserv
  1

• The isolation between users

  #101 opened 11 years ago by rampant1018
  1

• Merge the board support package for STM32F429i Discovery

  #94 opened 11 years ago by jserv
  2

• Implement offline profiler

  #89 opened 11 years ago by jserv
  5

• USART2 output garbled message with incorrect usart_baud()

  #90 opened 11 years ago by benwei
  2

• Try to access the GPIO pin from user space cause Memory fault

  #87 opened 11 years ago by benwei
  7

• Thread could not be released.

  #74 opened 11 years ago by georgekang
  2

• busfault when root_thread is mapping threads.

  #82 opened 11 years ago by ahmedammar
  0

• Linker scripts should also be moved to chip specific platform implementations

  #80 opened 11 years ago by ahmedammar
  0

• MPU support needs to be platform specific

  #78 opened 11 years ago by ahmedammar
  1

• L4_Sleep() failed

  #76 opened 11 years ago by bcbcarl
  6

• IPC hangs if L4_Call runs before L4_Wait

  #72 opened 11 years ago by georgekang
  0

• Move loader.mk to directory mk/rules/

  #65 opened 11 years ago by jserv
  0

• Unexpected linker messages when loader is enabled

  #61 opened 11 years ago by jserv
  2

• make USART pin assignment configurable

  #62 opened 11 years ago by jserv
  0

• Utilize Vagrant to bootstrap development

  #66 opened 11 years ago by jserv
  0

• Remote gdb with f9 kernel panic

  #60 opened 11 years ago by benwei
  5