?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: 7de1841) | patch
arm32 and ppc32: replace RD_DRVS with RD_DRVS_ESSENTIAL
commit29a38862b6cc96276502b777fad3e3293d542fe2
authorMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 8 Sep 2013 13:03:11 +0000 (8 15:03 +0200)
committerMaurizio Lombardi <m.lombardi85@gmail.com>
Sun, 8 Sep 2013 13:03:11 +0000 (8 15:03 +0200)
tree92befe8332a324fe912ba243e055006aca0f687atree | snapshot (tar.gz zip)
parent7de184188e72503fed6ae5a5c2ed087b3fe184f4commit | diff
arm32 and ppc32: replace RD_DRVS with RD_DRVS_ESSENTIAL
boot/arch/arm32/Makefile.inc diff | blob | blame | history
boot/arch/ppc32/Makefile.inc diff | blob | blame | history
A portable microkernel-based multiserver operating system written from scratch.