Marco Cetica 634393b141 trying x86_64 support		2021-02-03 18:05:18 +01:00
..
cpu	trying x86_64 support	2021-02-03 18:05:18 +01:00
drivers	trying x86_64 support	2021-02-03 18:05:18 +01:00
libc	trying x86_64 support	2021-02-03 18:05:18 +01:00
mem	trying x86_64 support	2021-02-03 18:05:18 +01:00
userspace	trying x86_64 support	2021-02-03 18:05:18 +01:00
Makefile	trying x86_64 support	2021-02-03 18:05:18 +01:00
kernel_main.c	trying x86_64 support	2021-02-03 18:05:18 +01:00