diff options
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,7 +1,6 @@ # actual recipes for everything are in build/Makefile; % : - echo generic $(MAKE) -C build $@ # below is just for shell auto-completion |
index : rpi-MMU-example | ||
Simple kernel to present usage of Memory Management Unit, under Raspberry Pi 3B running libre firmware |
aboutsummaryrefslogtreecommitdiff |
-rw-r--r-- | Makefile | 1 |
@@ -1,7 +1,6 @@ # actual recipes for everything are in build/Makefile; % : - echo generic $(MAKE) -C build $@ # below is just for shell auto-completion |