enable docker ppp

hc

2023-12-09 95099d4622f8cb224d94e314c7a8e0df60b13f87

 kernel/arch/microblaze/mm/Makefile
..
..
@@ -1,3 +1,4 @@
1
+# SPDX-License-Identifier: GPL-2.0-only
1
2
 #
2
3
 # Makefile
3
4
 #
..
..
@@ -5,4 +6,3 @@
5
6
 obj-y := consistent.o init.o
6
7
 
7
8
 obj-$(CONFIG_MMU) += pgtable.o mmu_context.o fault.o
8
-obj-$(CONFIG_HIGHMEM) += highmem.o