index
:
rbraun/x15.git
arm_port_dev
basic_paging
master
memory_model_dev
The X15 microkernel
Richard Braun
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
kern
/
syscnt.c
Age
Commit message (
Expand
)
Author
2019-05-22
Add a log print function type for information reporting
Richard Braun
2018-07-25
kern/{fmt,shell}: update from upstream
Richard Braun
2018-01-16
Clean up init op dependencies between syscnt and mutex
Richard Braun
2017-09-21
New build system
Richard Braun
2017-09-02
Rework the build system
Richard Braun
2017-08-31
Add debugging code to the mutex modules
Richard Braun
2017-07-13
Switch to initialization operations
Richard Braun
2017-06-24
Make shell command descriptions consistent
Richard Braun
2017-06-24
kern/syscnt: update console output format
Richard Braun
2017-06-14
kern/syscnt: fix syscnt_info help description
Richard Braun
2017-06-14
kern/syscnt: new syscnt_info shell command
Richard Braun
2017-04-29
New stdio.h standard header
Richard Braun
2017-04-29
kern/printk: rename to printf
Richard Braun
2017-04-04
Use the new atomic operations interface
Agustina Arzille
2017-03-16
Update system counter names
Richard Braun
2017-03-15
kern/syscnt: replace the evcnt module
Richard Braun