Module driver:system - Generic system driver

Generic system driver. This provides facilities for accessing system-specific services (such as interrupt routing and CPU control) in a platform independent way. Platform drivers such as driver:x86pc will connect to this in order to provide actual implementations.

Requires:

Used: driver:x86pc driver:x86mp

Provides:

Index

Declarations

system.inc:22Group DEFAULT

Default system configuration.

system.inc:23Constant DEFAULT.WATCHDOG.INTV

VAL INT DEFAULT.WATCHDOG.INTV

Default watchdog interval (30s).

system.inc:26Group HALT

Halt types.

system.inc:27Constant HALT.NONE

VAL INT HALT.NONE

Not halted.

system.inc:28Constant HALT.REBOOT.SOFT

VAL INT HALT.REBOOT.SOFT

Soft reboot.

system.inc:29Constant HALT.REBOOT.HARD

VAL INT HALT.REBOOT.HARD

Hard reboot.

system.inc:30Constant HALT.POWEROFF

VAL INT HALT.POWEROFF

Power-off.

system.inc:36Protocol P.CPU.IN

PROTOCOL P.CPU.IN

CPU input protocol.

system.inc:45Protocol P.CPU.OUT

PROTOCOL P.CPU.OUT

CPU output protocol.

system.inc:53Channel type CT.CPU

CHAN TYPE CT.CPU

CPU channel-type.

system.inc:55Variable in?

CHAN P.CPU.IN

Requests to CPU.

system.inc:56Variable out!

CHAN P.CPU.OUT

Responses from CPU.