LKL on Unikraftデモ
16
$ ./build/boot_linuxu-x86_64
Welcome to _ __ _____
__ _____ (_) /__ _______ _/ _/ /_
/ // / _ \/ / '_// __/ _ `/ _/ __/
\_,_/_//_/_/_/\_\/_/ \_,_/_/ \__/
Titan 0.2~51691ea
/* snip */
[ 0.000000] Linux version 4.17.0+ (
[email protected])
(gcc version 8.1.1 20180712 (Red Hat 8.1.1-5) (GCC)) #1 Thu Jan 10
14:04:16 JST 2019
/* snip */
[ 0.000000] This architecture does not have kernel memory
protection.
lkl_start_kernel(&lkl_host_ops, "mem=16M loglevel=8") = 0
/* snip */