summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
arm_port_devPer-CPU variables, TCB and SSP supportRichard Braun6 years
basic_pagingactually, it didn't work, but does nowRichard Braun11 years
masterkern/thread: fix typoRichard Braun5 years
memory_model_devFix the documentation according to the memory modelRichard Braun5 years
 
 
AgeCommit messageAuthor
2019-09-13Fix the documentation according to the memory modelmemory_model_devRichard Braun
2019-08-23Slight improvement of the memory model man pageRichard Braun
2019-08-20Slightly improve the implementation sectionRichard Braun
2019-08-20SLightly improve the definition of strong sequencingRichard Braun
2019-08-20Add content to the memory man pageRichard Braun
2019-08-20Edit the memory model man pageRichard Braun
2019-08-19Add a man page for the memory model (incomplete)Richard Braun
2019-08-19Describe thread_sleep and thread_delayRichard Braun
2019-08-19Document thread_delayRichard Braun
2019-08-19Remove all mentions of "barriers" in the cpu moduleRichard Braun
[...]
 
Clone
git://git.sceen.net/rbraun/x15.git
https://git.sceen.net/rbraun/x15.git