libbarrelfish: Adjust libbarrelfish to new terminal API and remove old API.
[barrelfish] / errors / errno.fugu
index e3d9845..e85f86e 100644 (file)
@@ -338,8 +338,6 @@ errors libbarrelfish LIB_ERR_ {
     failure GET_NAME_IREF          "Error while retrieving name service IREF from monitor",
     failure GET_RAMFS_IREF         "Error while retrieving ramfsd service IREF from monitor",
     failure NAMESERVICE_CLIENT_INIT "Failure initialising nameservice client",
-    failure SERIAL_BIND            "Failed binding to serial driver",
-    failure KBD_BIND            "Failed binding to keyboard driver",
 
     // Threads package
     failure THREAD_CREATE       "A version of thread create failed",