Public Git Hosting - helenos.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: d836630) | patch

commit	bbe20da7d611e9122031e7bc43005a18a847a919
author	Jakub Jermar <jakub@jermar.eu>
	Wed, 5 Dec 2018 06:26:52 +0000 (5 07:26 +0100)
committer	Jakub Jermar <jakub@jermar.eu>
	Wed, 5 Dec 2018 06:26:52 +0000 (5 07:26 +0100)
tree	3f8cb9426e4853449df62326cf8ae4e5bec850b4	tree \| snapshot (tar.gz zip)
parent	d83663074f80313df3a9070a823f80355dfebb7e	commit \| diff

Purge leftovers from RCU removal

.gitignore		diff \| blob \| blame \| history
boot/Makefile.common		diff \| blob \| blame \| history

A portable microkernel-based multiserver operating system written from scratch.