Go to the documentation of this file.
22 int main(
int argc,
char **argv)
38 ERROR(
"failed to initialize: result = " << (
int) result);
u32 getNextInode()
Get next unused inode.
void registerInterrupt(Device *dev, Size vector)
Register an interrupt vector for the given device.
int run()
Enters an infinite loop, serving incoming requests.
int main(int argc, char **argv)
Program entry point.
Log to the kernel using PrivExec().
void registerDevice(Device *dev, const char *path)
Add a Device.
PS2 Keyboard device driver.
virtual FileSystem::Result initialize()
Initialize DeviceServer.
#define PS2_IRQ
Interrupt number of the i8042 controller.
#define ERROR(msg)
Output an error message.
Result
Result code for filesystem Actions.