diff --git a/Gemfile.lock b/Gemfile.lock index 498000c0e1..4b0efb1982 100644 --- a/Gemfile.lock +++ b/Gemfile.lock @@ -127,4 +127,4 @@ DEPENDENCIES tzinfo-data BUNDLED WITH - 2.1.4 \ No newline at end of file + 2.3.22 diff --git a/Makefile b/Makefile index 27d1d37fcb..b6451c2bd1 100644 --- a/Makefile +++ b/Makefile @@ -48,114 +48,6 @@ $(REPOSITORIES): _repos/tutes: mkdir -p $@ - - - - - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-world/hello-world.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-world/hello-world.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-world/hello-world.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-world/hello-world.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/capabilities/capabilities.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/capabilities/capabilities.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/capabilities/capabilities.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/capabilities/capabilities.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/untyped/untyped.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/untyped/untyped.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/untyped/untyped.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/untyped/untyped.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mapping/mapping.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/mapping/mapping.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/mapping/mapping.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mapping/mapping.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/threads/threads.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/threads/threads.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/threads/threads.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/threads/threads.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/ipc/ipc.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/ipc/ipc.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/ipc/ipc.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/ipc/ipc.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/notifications/notifications.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/notifications/notifications.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/notifications/notifications.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/notifications/notifications.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/interrupts/interrupts.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/interrupts/interrupts.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/interrupts/interrupts.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/interrupts/interrupts.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/fault-handlers/fault-handlers.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/fault-handlers/fault-handlers.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/fault-handlers/fault-handlers.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/fault-handlers/fault-handlers.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mcs/mcs.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/mcs/mcs.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/mcs/mcs.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mcs/mcs.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-1/dynamic-1.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-1/dynamic-1.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-1/dynamic-1.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-1/dynamic-1.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-2/dynamic-2.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-2/dynamic-2.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-2/dynamic-2.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-2/dynamic-2.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-3/dynamic-3.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-3/dynamic-3.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-3/dynamic-3.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-3/dynamic-3.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-4/dynamic-4.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-4/dynamic-4.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/dynamic-4/dynamic-4.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-4/dynamic-4.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-0/hello-camkes-0.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-0/hello-camkes-0.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-0/hello-camkes-0.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-0/hello-camkes-0.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-1/hello-camkes-1.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-1/hello-camkes-1.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-1/hello-camkes-1.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-1/hello-camkes-1.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-2/hello-camkes-2.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-2/hello-camkes-2.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-2/hello-camkes-2.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-2/hello-camkes-2.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-timer/hello-camkes-timer.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-timer/hello-camkes-timer.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/hello-camkes-timer/hello-camkes-timer.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-timer/hello-camkes-timer.md - - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md - -/Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-linux/camkes-vm-linux.md: /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/camkes-vm-linux/camkes-vm-linux.md - cp /Users/birgitbrecknell/seL4-Foundation/tutorials/tutorials/camkes-vm-linux/camkes-vm-linux.md /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-linux/camkes-vm-linux.md - - -all: /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-world/hello-world.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mapping/mapping.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/capabilities/capabilities.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/untyped/untyped.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mapping/mapping.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/threads/threads.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/ipc/ipc.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/notifications/notifications.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/interrupts/interrupts.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/fault-handlers/fault-handlers.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/mcs/mcs.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-1/dynamic-1.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-2/dynamic-2.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-3/dynamic-3.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/dynamic-4/dynamic-4.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-0/hello-camkes-0.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-1/hello-camkes-1.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-2/hello-camkes-2.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/hello-camkes-timer/hello-camkes-timer.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-crossvm/camkes-vm-crossvm.md \ - /Users/birgitbrecknell/seL4-Foundation/docs/_repos/sel4proj/sel4-tutorials/tutorials/camkes-vm-linux/camkes-vm-linux.md - - - - - - - - - - - _repos/tutes/%.md: _repos/sel4proj/sel4-tutorials/tutorials/% _repos/tutes PYTHONPATH=_repos/sel4/capdl/python-capdl-tool _repos/sel4proj/sel4-tutorials/template.py --docsite --out-dir _repos/tutes --tut-file $