|
hw
|
kernel: differentiate board-specific components
|
2019-05-27 14:46:52 +02:00 |
|
spec
|
base-hw: EFI sys-table pointer in platform info
|
2019-08-13 12:02:03 +02:00 |
|
env.cc
|
base: remove dependency from deprecated APIs
|
2019-02-19 11:08:17 +01:00 |
|
init.cc
|
hw: switch page-tables only when necessary
|
2017-10-19 13:31:18 +02:00 |
|
lock.cc
|
hw: separate bootstrap and core strictly
|
2017-05-31 13:15:52 +02:00 |
|
platform.cc
|
hw: factor out x86 specific bootinfo
|
2019-05-27 14:46:54 +02:00 |
|
platform.h
|
hw: factor out x86 specific bootinfo
|
2019-05-27 14:46:54 +02:00 |
|
thread.cc
|
hw: separate bootstrap and core strictly
|
2017-05-31 13:15:52 +02:00 |
