mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-22 18:22:41 +00:00
parent
b6a28795dd
commit
caad308a21
@ -88,6 +88,11 @@
|
|||||||
/* Linux */
|
/* Linux */
|
||||||
lx_syscall;
|
lx_syscall;
|
||||||
|
|
||||||
|
/* Base HW */
|
||||||
|
extern "C++" {
|
||||||
|
Kernel::*;
|
||||||
|
};
|
||||||
|
|
||||||
local:
|
local:
|
||||||
|
|
||||||
/*
|
/*
|
||||||
|
Loading…
x
Reference in New Issue
Block a user