diff --git a/apps/rmgr/include/l4/x86-x0-32/x86-x0-32 b/apps/rmgr/include/l4/x86-x0-32/x86-x0-32 deleted file mode 120000 index 2414330..0000000 --- a/apps/rmgr/include/l4/x86-x0-32/x86-x0-32 +++ /dev/null @@ -1 +0,0 @@ -x86-x0-32 \ No newline at end of file