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
Branch
Commit message
Author
Age
arm_port_dev
Per-CPU variables, TCB and SSP support
Richard Braun
6 years
basic_paging
actually, it didn't work, but does now
Richard Braun
11 years
master
kern/thread: fix typo
Richard Braun
5 years
memory_model_dev
Fix the documentation according to the memory model
Richard Braun
5 years
Age
Commit message
Author
2019-09-13
Fix the documentation according to the memory model
memory_model_dev
Richard Braun
2019-08-23
Slight improvement of the memory model man page
Richard Braun
2019-08-20
Slightly improve the implementation section
Richard Braun
2019-08-20
SLightly improve the definition of strong sequencing
Richard Braun
2019-08-20
Add content to the memory man page
Richard Braun
2019-08-20
Edit the memory model man page
Richard Braun
2019-08-19
Add a man page for the memory model (incomplete)
Richard Braun
2019-08-19
Describe thread_sleep and thread_delay
Richard Braun
2019-08-19
Document thread_delay
Richard Braun
2019-08-19
Remove all mentions of "barriers" in the cpu module
Richard Braun
[...]
Clone
git://git.sceen.net/rbraun/x15.git
https://git.sceen.net/rbraun/x15.git