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
Age
Commit message (
Expand
)
Author
2018-05-07
Merge branch 'latomic'
Richard Braun
2018-05-07
test/test_bulletin: remove assert.h inclusion
Richard Braun
2018-05-07
kern/atomic: alias to latomic operations if relevant
Richard Braun
2018-05-07
x86/latomic: architecture-specific implementation
Richard Braun
2018-05-07
kern/latomic: new module
Richard Braun
2018-05-07
test/test_atomic: new module
Richard Braun
2018-05-07
kern/atomic: minor changes
Richard Braun
2018-04-27
kern/atomic: minor improvement
Richard Braun
2018-04-26
kern/atomic: minor rework
Richard Braun
2018-04-24
Fix missing kern/syscnt.h inclusions
Richard Braun
2018-04-24
kern/atomic: fix alignment check
Richard Braun
2018-04-21
kern/mutex/mutex_adaptive: fix atomic operation calls
Richard Braun
2018-04-21
Merge branch 'atomic_rework'
Richard Braun
2018-04-21
doc/intro(9): mention the supported data models
Richard Braun
2018-04-21
kern/atomic: rework
Richard Braun
2018-04-21
Fix atomic operations argument types
Richard Braun
2018-04-21
x86: fix i386_defconfig
Richard Braun
2018-04-19
tools/build_configs.py: augment the small set
Richard Braun
2018-04-19
kern/atomic: remove shortcuts
Richard Braun
2018-04-14
tools/qemu.sh: only pass x15 as the kernel argument to QEMU
Richard Braun
2018-04-14
kern/rcu: make the window check interval configurable
Richard Braun
2018-04-14
kern/atomic: fix consume memory order
Richard Braun
2018-04-14
Rename variables in function-like macros
Richard Braun
2018-04-14
Fix left-over reserved identifiers
Richard Braun
2018-04-13
kern/xcall: upgrade spurious interrupts to errors
Richard Braun
2018-04-13
x86/lapic: fix inter-process interrupt generation
Richard Braun
2018-04-09
Make linking with libgcc a per-architecture option
Richard Braun
2018-04-08
tools/qemu.sh: remove GRUB dependency
Richard Braun
2018-04-08
x86: slightly improve linker script
Richard Braun
2018-04-08
Makefile: disable the build ID linker feature
Richard Braun
2018-04-08
Makefile: normalize linker options passing
Richard Braun
2018-04-01
tools/build_configs.py: add bulletin test
Richard Braun
2018-04-01
doc/intro(9): list kern/bulletin
Richard Braun
2018-04-01
Merge branch 'bulletin'
Richard Braun
2018-04-01
kern/bulletin: new module
Richard Braun
2018-04-01
kern/rcu: add assertion in rcu_defer
Richard Braun
2018-04-01
kern/{hash,list}: update from upstream
Richard Braun
2018-03-21
Fix builds with Clang
Richard Braun
2018-03-20
Makefile: force correct interpretation of / in assembly files
Richard Braun
2018-03-05
tools/build_configs.py: fix filtering
Richard Braun
2018-03-05
tools/build_configs.py: style fixes
Richard Braun
2018-03-03
kern/spinlock: minor comment fix
Richard Braun
2018-03-02
kern/spinlock: fix and optimize
Richard Braun
2018-03-02
kern/spinlock: fix direct use of CONFIG_SPINLOCK_DEBUG
Richard Braun
2018-02-24
Merge branch 'build_configs_python3'
Richard Braun
2018-02-24
tools/build_configs.py: add TODO entry, style fixes
Richard Braun
2018-02-24
tools/build_configs.py: fix -l option
Richard Braun
2018-02-24
tools/build_configs.py: break python2 compatibility
Richard Braun
2018-02-24
tools/build_configs.py: improve pep8 and pylint compliance
Gabriel Ganne
2018-02-24
tools/build_configs.py: add python3 compatibility
Gabriel Ganne
[prev]
[next]